haskelzinc: CP in Haskell through MiniZinc
This package was created in the context of the GRACeFUL project.
The haskelzinc library defines an interface to the MiniZinc 2.1 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, a parser that returns a representation of the solutions obtained by running the MiniZinc model, a set of functions useful for building a custom FlatZinc solutions parser and a set of functions for constructing a model with time and space constraints, including cost related constraints.
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 [faq]||0.1.0.0, 0.1.0.1, 0.2.0.3, 0.3.0.9, 0.3.1.0, 0.3.1.1|
|Dependencies||base (>=4.8 && <5), containers (>=0.5.6), directory, filepath (>=1.4.1), parsec (>=3.1.6), pretty (>=1.1.3), process (>=1.4) [details]|
|Author||Klara Marntirosian, Gert-Jan Bottu, Ruben Pieters|
|Maintainerfirstname.lastname@example.org, email@example.com, firstname.lastname@example.org|
|Source repo||head: git clone https://github.com/GRACeFUL-project/haskelzinc.git|
|Uploaded||by klara_mar at Tue Mar 6 14:45:29 UTC 2018|
|Downloads||2483 total (200 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees