ToySolver.BitVector.Solver

Contents

• BitVector solver

Description

Synopsis

• data Solver
• newSolver :: IO Solver
• newVar :: Solver -> Int -> IO Expr
• newVar' :: Solver -> Int -> IO Var
• assertAtom :: Solver -> Atom -> Maybe Int -> IO ()
• check :: Solver -> IO Bool
• getModel :: Solver -> IO Model
• explain :: Solver -> IO IntSet
• pushBacktrackPoint :: Solver -> IO ()
• popBacktrackPoint :: Solver -> IO ()

BitVector solver