Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
ToySolver.SAT.TheorySolver
Documentation
data TheorySolver Source
toysolver-0.2.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
ToySolver.SAT.TheorySolver
data TheorySolver Source