toysolver-0.7.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
ToySolver.SAT
Documentation
module
ToySolver.SAT.Solver.CDCL