| Copyright | (c) Masahiro Sakai 2016 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
| Extensions |
|
ToySolver.BitVector.Solver
Contents
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
pushBacktrackPoint :: Solver -> IO () Source #
popBacktrackPoint :: Solver -> IO () Source #