Copyright | (c) Some Guy, 2013 Someone Else, 2014 |
---|---|
License | BSD3 |
Maintainer | Klara Marntirosian <klara.mar@cs.kuleuven.be> |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
Interfaces.MZinHaskell
Description
This module integrates constraint solving programming through MiniZinc in Haskell.
- module Interfaces.MZAST
- module Interfaces.FZSolutionParser
- module Interfaces.MZPrinter
- iTestModel :: MZModel -> IO ()
- testModel :: MZModel -> FilePath -> FilePath -> String -> String -> IO ()
- writeData :: MZModel -> IO ()
Documentation
module Interfaces.MZAST
module Interfaces.FZSolutionParser
module Interfaces.MZPrinter
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).
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).