The haskelzinc package
- Exposed modules use unallocated top-level names: Interfaces
This package was created in the context of the [GRACeFUL project](https:www.graceful-project.eu/).
The haskelzinc library defines an interface to the MiniZinc 2.0 constraint proramming language. It provides a Haskell abstract syntax tree for the MiniZinc language, with which one can represent MiniZinc models in Haskell, a pretty printer to print the representation of a MiniZinc model in MiniZinc and a parser that returns a representation of the solutions obtained by running the MiniZinc model.
An additional module gives the possibility to directly get the solutions of a MiniZinc finite domain model. Option for interactive interface is provided, as well as choice between two solvers: the G12/FD built-in solver of FlatZinc and choco3.
[Skip to ReadMe]
|Versions||0.1.0.0, 0.1.0.1, 0.2.0.2, 0.2.0.3, 0.3.0.9|
|Dependencies||base (>=4.8 && <5), containers (==0.5.*), filepath (>=1.2), parsec3 (>=22.214.171.124), pretty, process [details]|
|Uploaded||Sat Sep 10 14:10:22 UTC 2016 by klara_mar|
- haskelzinc-0.2.0.2.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees