Interfaces.MZAuxiliary

This module handles the configuration needed to run constraint models.

Documentation

data Configuration

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

Methods

showsPrec :: Int -> Configuration -> ShowS

show :: Configuration -> String

showList :: [Configuration] -> ShowS

Monoid Configuration

Methods

mempty :: Configuration

mappend :: Configuration -> Configuration -> Configuration

mconcat :: [Configuration] -> Configuration

parseConfig :: IO Configuration

Parses the configuration file.

spaceFix :: String -> String

Wraps a path in quotes if it contains spaces.