The haskelzinc package

[maintain]
Warnings:

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]

Properties

Versions0.1.0.0, 0.1.0.1, 0.2.0.1, 0.2.0.3, 0.3.0.9
Dependenciesbase (>=4.8 && <5), containers (==0.5.*), filepath (>=1.2), parsec3 (>=1.0.0.8), pretty, process [details]
LicenseBSD3
AuthorKlara Marntirosian
Maintainerklara.mar@cs.kuleuven.be
Stabilityprovisional
CategoryInterfaces
UploadedSat Sep 10 14:07:15 UTC 2016 by klara_mar

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for haskelzinc-0.2.0.1

Requirements

Optional

To use choco solver, also required:

Configuration

  1. Create a file HZconf/conf.txt in the same directory level where you want to run your code.
  2. Fill in the corresponding paths by adding the equal sign (=) and the correct path. . MINIZINC_DIR: the directory where mzn2fzn and flatzinc executables are located . CHOCO_PARSER: the path of the choco parser java library . CHOCO_SOLVER: the path of the choco solver java libaray . ANTLR: the path of the antlr java libaray Example: MINIZINC_DIR = path/to/dir

Not yet supported