toysolver-0.3.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Safe HaskellNone
LanguageHaskell2010

ToySolver.Wang

Documentation

type Sequent x = ([Formula x], [Formula x]) Source