Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : haskelzinc
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.
Registry
- JSON
purl: pkg:hackage/haskelzinc
Keywords: bsd3, interfaces, library
License: BSD-3-Clause
Latest release: over 6 years ago
First release: almost 8 years ago
Dependent repositories: 1
Downloads: 3,957 total
Last synced: 28 days ago