haskelzinc-0.2.0.3: CP in Haskell through MiniZinc

LicenseGPL-3
MaintainerKlara Marntirosian <klara.mar@cs.kuleuven.be>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Interfaces.MZAuxiliary

Description

This module handles the configuration needed to run constraint models.

Synopsis

Documentation

data Configuration Source #

A record containing the required paths for the constraint models to be run by the solvers.

Constructors

Config 

Fields

parseConfig :: IO Configuration Source #

Parses the configuration file.

spaceFix :: String -> String Source #

Wraps a path in quotes if it contains spaces.