Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
(This is a part of MIOS.)
Advanced heuristics library for Main
Synopsis
- claBumpActivity :: Solver -> Clause -> IO ()
- claDecayActivity :: Solver -> IO ()
- varBumpActivity :: Solver -> Var -> IO ()
- varDecayActivity :: Solver -> IO ()
- addClause :: Solver -> Stack -> IO Bool
- lbdOf :: Solver -> Stack -> IO Int
- updateNDD :: Solver -> IO ()
- nddOf :: Solver -> Stack -> IO Int
- checkRestartCondition :: Solver -> Int -> Int -> IO Bool
- dumpStats :: DumpMode -> Solver -> IO ()
Activities
claDecayActivity :: Solver -> IO () Source #
Fig. 14 (p.19)
varDecayActivity :: Solver -> IO () Source #
Fig. 14 (p.19)
Clause
addClause :: Solver -> Stack -> IO Bool Source #
returns False
if a conflict has occured.
This function is called only before the solving phase to register the given clauses (not learnt).