monadiccp-0.7.5: Constraint Programming
Control.CP.FD.Gecode.CodegenSolver
generateGecode :: CompilableModel t => t -> StringSource
data CodegenGecodeSolver a Source
Instances
data CodegenGecodeOptions Source
Constructors
Fields
setOptions :: (CodegenGecodeOptions -> CodegenGecodeOptions) -> CodegenGecodeSolver ()Source