haskelzinc
Version 0.3.0.9 revision 0 uploaded by klara_mar.
Package meta
- Synopsis
- CP in Haskell through MiniZinc
- Description
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.
- Author
- Klara Marntirosian
- Bug reports
- n/a
- Category
- Interfaces
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- klara.mar@cs.kuleuven.be
- Package URL
- n/a
- Stability
- experimental