Control.CP.FD.Solvers

Documentation

dfs :: [a]

bfs :: Seq 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

sb :: Int -> CSolutionBoundST s a

fs :: CFirstSolutionST s a

it :: CIdentityCST s a

ra :: Int -> CRandomST s a

ld :: Int -> CLimitedDiscrepancyST s a