License	GPL-3
Maintainer	Klara Marntirosian <klara.mar@cs.kuleuven.be>
Stability	experimental
Safe Haskell	Safe
Language	Haskell2010

Interfaces.MZAuxiliary

Description

This module handles the configuration needed to run constraint models.

Synopsis

Documentation

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

Constructors

Config
Fields minizinc :: FilePath Path to `mzn2fzn` and `flatzinc` executables chocosolver :: FilePath Path to the choco_solver java library chocoparser :: FilePath Path to the choco_parser java library antlr_path :: FilePath Path to the antlr java library

Instances

Show Configuration Source #
Methods showsPrec :: Int -> Configuration -> ShowS # show :: Configuration -> String # showList :: [Configuration] -> ShowS #
Monoid Configuration Source #
Methods mempty :: Configuration # mappend :: Configuration -> Configuration -> Configuration # mconcat :: [Configuration] -> Configuration #

Parses the configuration file.

Wraps a path in quotes if it contains spaces.