Requirements

• GHC 7.10.3
• MiniZinc 2.0

Optional

To use choco solver, also required:

• JDK 8+
• The following jar files (can be also found in the choco/ directory of the haskelzinc repo))
  • choco_solver (with dependencies) [http://choco-solver.org/Download?q=releases]
  • choco_parser [https://oss.sonatype.org/content/repositories/releases/org/choco-solver/choco-parsers/3.3.3/]
  • ANTLR >4.5.2 java runtime binaries [http://www.antlr.org/download.html] . Compatible with Windows and Unix systems.

Configuration

1. Create a file HZconf/conf.txt in the same directory level where you want to run your code.
2. Fill in the corresponding paths by adding the equal sign (=) and the correct path. . MINIZINC_DIR: the directory where mzn2fzn and flatzinc executables are located . CHOCO_PARSER: the path of the choco parser java library . CHOCO_SOLVER: the path of the choco solver java libaray . ANTLR: the path of the antlr java libaray

Example: MINIZINC_DIR = path/to/dir

Not yet supported

• MiniZinc annotations
• Set constraints with the choco solver