The haskelzinc package
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
- Exposed modules use unallocated top-level names: Interfaces
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 and a set of functions useful for building a custom FlatZinc solutions parser.
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.3, 0.3.0.9, 0.3.0.9|
|Dependencies||base (>=4.8 && <5), containers (>=0.5.6), filepath (>=1.4.1), parsec3 (>=22.214.171.124), pretty (>=1.1.3), process (>=1.4) [details]|
|Source repository||head: git clone https://github.com/GRACeFUL-project/haskelzinc.git|
|Uploaded||Thu Mar 2 16:07:55 UTC 2017 by klara_mar|
- haskelzinc-0.3.0.9.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees