Copyright | (c) Masahiro Sakai 2017 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Extensions |
|
Documentation
getStatistics :: Solver -> IO Statistics Source #
Options | |
|
Callbacks | |
|
data Statistics Source #
Statistics | |
|
Instances
Show Statistics Source # | |
Defined in ToySolver.SAT.Solver.SLS.ProbSAT showsPrec :: Int -> Statistics -> ShowS # show :: Statistics -> String # showList :: [Statistics] -> ShowS # | |
Default Statistics Source # | |
Defined in ToySolver.SAT.Solver.SLS.ProbSAT def :: Statistics # | |
Eq Statistics Source # | |
Defined in ToySolver.SAT.Solver.SLS.ProbSAT (==) :: Statistics -> Statistics -> Bool # (/=) :: Statistics -> Statistics -> Bool # |