minizinc-process-0.1.3.0: A set of helpers to call minizinc models.
Contents
Index
Index
Chuffed
Process.Minizinc
cleanTmpFile
Process.Minizinc
COIN_BC
Process.Minizinc
collectResults
Process.Minizinc
CPLEX
Process.Minizinc
Exhausted
Process.Minizinc
Gecode
Process.Minizinc
Gurobi
Process.Minizinc
handleNext
Process.Minizinc
Incomplete
Process.Minizinc
inspect
Process.Minizinc.Inspect
Interface
1 (Type/Class)
Process.Minizinc.Inspect
2 (Data Constructor)
Process.Minizinc.Inspect
InternalError
Process.Minizinc
keepLast
Process.Minizinc
Maximize
Process.Minizinc.Inspect
Method
Process.Minizinc.Inspect
MilliSeconds
Process.Minizinc
Minimize
Process.Minizinc.Inspect
MiniZinc
1 (Type/Class)
Process.Minizinc
2 (Data Constructor)
Process.Minizinc
mkExtraArgs
Process.Minizinc
mkSolver
Process.Minizinc
mkTimeLimit
Process.Minizinc
mkTmpDataPath
Process.Minizinc
model
Process.Minizinc
Other
Process.Minizinc
result
Process.Minizinc
ResultHandler
1 (Type/Class)
Process.Minizinc
2 (Data Constructor)
Process.Minizinc
runLastMinizincJSON
Process.Minizinc
runMinizincJSON
Process.Minizinc
Satisfy
Process.Minizinc.Inspect
SCIP
Process.Minizinc
SearchState
Process.Minizinc
simpleMiniZinc
Process.Minizinc
Solver
Process.Minizinc
SolverName
Process.Minizinc
TypeDeclarations
Process.Minizinc.Inspect
TypeInfo
1 (Type/Class)
Process.Minizinc.Inspect
2 (Data Constructor)
Process.Minizinc.Inspect
Unsatisfiable
Process.Minizinc
withArgs
Process.Minizinc
Xpress
Process.Minizinc
_dim
Process.Minizinc.Inspect
_has_output_item
Process.Minizinc.Inspect
_input
Process.Minizinc.Inspect
_method
Process.Minizinc.Inspect
_output
Process.Minizinc.Inspect
_set
Process.Minizinc.Inspect
_type
Process.Minizinc.Inspect