haskelzinc-0.1.0.0: CP in Haskell through MiniZinc
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).
- Interfaces
- Interfaces.FZSolutionParser FlatZinc solutions parser
- Interfaces.MZAST MiniZinc abstract syntax tree
- Interfaces.MZPrinter MiniZinc pretty-printer
- Interfaces.MZinHaskell Integration of MiniZinc 2.0 in Haskell