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

Portabilityportable
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

Algorithm.Cooper.FOL

Description

 

Synopsis

Documentation

eliminateQuantifiers :: Formula (Atom Rational) -> Maybe QFFormulaSource

eliminate quantifiers and returns equivalent quantifier-free formula.

solveFormula :: VarSet -> Formula (Atom Rational) -> SatResult IntegerSource