Control.CP.FD.Solvers

Documentation

as_overtonfd :: Tree (FDWrapper OvertonFD) a -> Tree (FDWrapper OvertonFD) a

as_gecode_codegen :: Tree (FDWrapper CodegenSolver) a -> Tree CodegenSolver a

pfs :: Ord a => PriorityQueue a (a, b, c)

nb :: Int -> CNodeBoundedST s a

db :: Int -> CDepthBoundedST s a

bb :: NewBound s -> CBranchBoundST s a

fs :: CFirstSolutionST s a

it :: CIdentityCST s a

ra :: Int -> CRandomST s a

ld :: Int -> CLimitedDiscrepancyST s a