haskelzinc-0.1.0.0: CP in Haskell through MiniZinc

Copyright(c) Some Guy, 2013 Someone Else, 2014
LicenseBSD3
MaintainerKlara Marntirosian <klara.mar@cs.kuleuven.be>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Interfaces.MZinHaskell

Description

This module integrates constraint solving programming through MiniZinc in Haskell.

Synopsis

Documentation

iTestModel :: MZModel -> IO () Source

Interactively runs a model and outputs its solution(s). The function first prompts the user for the paths of the file in which the represented MiniZinc model will be printed and the data file if required. Then asks the user to choose between supported solvers and the desired number of solutions (only one or all supported for now). Finally, it uses the chosen solver and parses the solution(s).

testModel Source

Arguments

:: MZModel

The model

-> FilePath

The path of the file in which the represented MiniZinc model will be printed

-> FilePath

The path of the data file if required, else an empty string

-> String

The chose solver ("fd" for the G12/FD built-in solver or empty string for choco3)

-> String

"0" for all solutions, empty string for the first solution

-> IO () 

Runs a model and parses its solution(s).

writeData :: MZModel -> IO () Source

Writes the model's data file. The MZModel of the argument must contain only Assignment items.