Process.Minizinc

A set of types and functions to help calling Minizinc as an external binary.

Current strategy is to use JSON encode/decoding for passing in inputs and reading outputs. At this time, only a primitive output parser is supported.

Documentation

data MiniZinc input answer

An object helping to run MiniZinc.

Constructors

MiniZinc

Fields

• model :: FilePath

  a file path to a model

• mkTmpDataPath :: input -> FilePath

  a file path to hold, must be writable and readable

• mkTimeLimit :: input -> MilliSeconds Int

  a timelimit in seconds (an Int)

• mkSolver :: input -> Solver

  the solver to use (see `minizinc --solvers`)

• mkExtraArgs :: input -> [String]

  other arguments that get appended before the path to the model and data paths

simpleMiniZinc :: Hashable input => FilePath -> MilliSeconds Int -> Solver -> MiniZinc input answer

A constructor for MiniZinc object for simple situations.

withArgs :: [String] -> MiniZinc input answer -> MiniZinc input answer

Helper to set arguments.

data Solver

Supported solvers or Other.

Constructors

Chuffed

COIN_BC

CPLEX

Gecode

Gurobi

SCIP

Xpress

Other SolverName

Instances

Show Solver

Defined in Process.Minizinc

Methods

showsPrec :: Int -> Solver -> ShowS

show :: Solver -> String

showList :: [Solver] -> ShowS

type SolverName = String

Name of a solver to be passed to the minizinc binary.

type MilliSeconds a = Int

Type alias asking for milliseconds.

data SearchState a

Constructors

Exhausted a

Incomplete a

Unsatisfiable

InternalError String

Instances

Functor SearchState

Defined in Process.Minizinc

Methods

fmap :: (a -> b) -> SearchState a -> SearchState b

(<$) :: a -> SearchState b -> SearchState a

Eq a => Eq (SearchState a)

Defined in Process.Minizinc

Methods

(==) :: SearchState a -> SearchState a -> Bool

(/=) :: SearchState a -> SearchState a -> Bool

Ord a => Ord (SearchState a)

Defined in Process.Minizinc

Methods

compare :: SearchState a -> SearchState a -> Ordering

(<) :: SearchState a -> SearchState a -> Bool

(<=) :: SearchState a -> SearchState a -> Bool

(>) :: SearchState a -> SearchState a -> Bool

(>=) :: SearchState a -> SearchState a -> Bool

max :: SearchState a -> SearchState a -> SearchState a

min :: SearchState a -> SearchState a -> SearchState a

Show a => Show (SearchState a)

Defined in Process.Minizinc

Methods

showsPrec :: Int -> SearchState a -> ShowS

show :: SearchState a -> String

showList :: [SearchState a] -> ShowS

result :: SearchState a -> Maybe a

data ResultHandler obj b

Constructors

ResultHandler

Fields

• handleNext :: b -> SearchState obj -> IO (b, Maybe (ResultHandler obj b))

runMinizincJSON :: forall input answer b. (ToJSON input, FromJSON answer) => MiniZinc input answer -> input -> b -> ResultHandler answer b -> IO b

collectResults :: ResultHandler obj [SearchState obj]

Collect all results in memory. The resulting list is in reverse order (best are first elements in case of optimizations).

keepLast :: ResultHandler obj (Maybe (SearchState obj))

Keep only the latest result in memory.

runLastMinizincJSON :: (ToJSON input, FromJSON answer) => MiniZinc input answer -> input -> IO (Maybe answer)

Runs MiniZinc on the input and parses output for the last answer.

cleanTmpFile :: MiniZinc input a -> input -> IO ()

Removes the temporary data file created as input before running minizinc.