haskelzinc: CP in Haskell through MiniZinc

[ bsd3, interfaces, library ] [ Propose Tags ]

This library aims to link Haskell with MiniZinc. It provides an abstract syntax tree for the MiniZinc language, with which one can define MiniZinc constraint models. One can directly get the solution(s) of the model or separately use the corresponding modules of the library to pretty-print the model or parse its solution(s).

[Skip to Readme]
Versions [faq],,,,,
Dependencies base (==4.8.*), containers (==0.5.*), filepath (==1.4.*), parsec (==3.1.*), pretty (==1.1.*), process (==1.2.*) [details]
License BSD-3-Clause
Author Klara Marntirosian
Maintainer klara.mar@cs.kuleuven.be
Category Interfaces
Uploaded by klara_mar at Fri Jun 17 12:32:08 UTC 2016
Distributions NixOS:
Downloads 1956 total (92 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-23 [all 3 reports]


  • Interfaces
    • Interfaces.FZSolutionParser
    • Interfaces.MZAST
    • Interfaces.MZPrinter
    • Interfaces.MZinHaskell


Maintainer's Corner

For package maintainers and hackage trustees

Readme for haskelzinc-

[back to package description]



  1. Create a directory called "HZconf" in the directory of your Haskell code that calls testModel or iTestModel.
  2. In HZconf create a text file "conf.txt".
  3. Write the corresponding paths by adding the equal sign (=) and the correct path.
    • MINIZINC_DIR: the directory where mzn2fzn and flatzinc executables are
    • 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