haskelzinc: CP in Haskell through MiniZinc

[ bsd3, interfaces, library ] [ Propose Tags ] [ Report a vulnerability ]

This library aims to link Haskell with MiniZinc. It provides an abstract syntax tree for the MiniZinc language, with which one can define MiniZinc constraint models. One can directly get the solution(s) of the model or separately use the corresponding modules of the library to pretty-print the model or parse its solution(s).

[Skip to Readme]

Modules

[Last Documentation]

Interfaces
- Interfaces.FZSolutionParser
- Interfaces.MZAST
- Interfaces.MZPrinter
- Interfaces.MZinHaskell

Downloads

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

Candidates

0.2.0.0, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.3.0.3, 0.3.0.4, 0.3.0.5, 0.3.0.6, 0.3.0.8, 0.3.0.9, 0.3.1.0, 0.3.1.1

Versions [RSS]	0.1.0.0, 0.1.0.1, 0.2.0.3, 0.3.0.9, 0.3.1.0, 0.3.1.1
Dependencies	base (>=4.8 && <4.9), containers (>=0.5 && <0.6), filepath (>=1.4 && <1.5), parsec (>=3.1 && <3.2), pretty (>=1.1 && <1.2), process (>=1.2 && <1.3) [details]
License	BSD-3-Clause
Author	Klara Marntirosian
Maintainer	klara.mar@cs.kuleuven.be
Category	Interfaces
Uploaded	by klara_mar at 2016-06-17T12:32:08Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	4084 total (1 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-11-23 [all 3 reports]

Readme for haskelzinc-0.1.0.1

[back to package description]

Requirements

GHC 7.10.3
MiniZinc 2.0
To use choco solver, also required:
- JDK 8+
- THe following jar files can be also found in the choco/ directory of this library's repo [https://github.com/GRACeFUL-project/haskelzinc]
  - 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]

Use

Create a directory called "HZconf" in the directory of your Haskell code that calls testModel or iTestModel.
In HZconf create a text file "conf.txt".
Write the corresponding paths by adding the equal sign (=) and the correct path. * MINIZINC_DIR: the directory where mzn2fzn and flatzinc executables are * 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