haskelzinc: CP in Haskell through MiniZinc

[ bsd3, interfaces, library ] [ Propose Tags ]

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

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

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-17T11:36:51Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3947 total (18 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 2 reports]

Readme for haskelzinc-0.1.0.0

[back to package description]

Requirements

Installation

This library will be soon available in hackage.

Use

  1. Create a directory called "HZconf" in the directory of your Haskell code that calls testModel or iTestModel.

  2. In HZconf create a text file "conf.txt".

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