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

Safe HaskellNone
LanguageHaskell2010

ToySolver.Wang

Documentation

type Formula a = BoolExpr a Source

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

isValid :: Eq x => Sequent x -> Bool Source