The haskelzinc package

[maintain]
Warnings:

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 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.3, 0.3.0.5, 0.3.0.9
Dependenciesbase (>=4.8 && <5), containers (>=0.5.6), filepath (>=1.4.1), parsec3 (>=1.0.0.8), pretty (>=1.1.3), process (>=1.4) [details]
LicenseBSD3
AuthorKlara Marntirosian
Maintainerklara.mar@cs.kuleuven.be
Stabilityexperimental
CategoryInterfaces
Source repositoryhead: git clone https://github.com/GRACeFUL-project/haskelzinc.git
UploadedThu Mar 2 15:52:07 UTC 2017 by klara_mar

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for haskelzinc-0.3.0.5

Description

This package was created in the context of the GRACeFUL project. The haskelzinc library defines an interface to the MiniZinc constraint proramming language. It provides

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.

Requirements

Optional

To use choco solver, also required:

Installation

This library is available on hackage. Use cabal install.

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 library
    • ANTLR: the path of the antlr java library

Example: MINIZINC_DIR = path/to/dir

Not yet supported