haskelzinc: CP in Haskell through MiniZinc

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.

[maintain] [Publish]

Warnings:

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.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

Versions	0.1.0.0, 0.1.0.1, 0.2.0.0, 0.2.0.3, 0.3.0.9, 0.3.1.0, 0.3.1.1
Change log	changelog
Dependencies	base (>=4.8 && <5), containers (>=0.5 && <0.6), filepath (>=1.2), parsec3 (>=1.0.0.8), pretty, process [details]
License	BSD-3-Clause
Author	Klara Marntirosian
Maintainer	klara.mar@cs.kuleuven.be
Category	Interfaces
Uploaded	by klara_mar at 2016-09-10T14:01:14Z

Modules

[Index]

Interfaces

Downloads

haskelzinc-0.2.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

klara_mar

For package maintainers and hackage trustees

edit package information

Readme for haskelzinc-0.2.0.0

[back to package description]

Requirements

GHC 7.10.3
MiniZinc 2.0

Optional

To use choco solver, also required:

JDK 8+
The following jar files (can be also found in the choco/ directory of the haskelzinc repo)
- choco_solver (with dependencies) [http://choco-solver.org/Download?q=releases]
- choco_parser [https://oss.sonatype.org/content/repositories/releases/org/choco-solver/choco-parsers/3.3.3/]
- ANTLR >4.5.2 java runtime binaries [http://www.antlr.org/download.html]

Compatible with Windows and Unix systems.

Configuration

Create a file HZconf/conf.txt in the same directory level where you want to run your code.
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

MiniZinc annotations
Set constraints with the choco solver