Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Commit [r1804] Maximize Restore History

Correcting the 2QBF -> lparse translation; still works for DNF only.

lukaszkaiser 2012-11-10

changed /trunk/Toss/Formula/BoolFormula.mli
changed /trunk/Toss/Formula/BoolFormula.ml
changed /trunk/Toss/Formula/DiagramTest.ml
/trunk/Toss/Formula/BoolFormula.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/BoolFormula.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/DiagramTest.ml Diff Switch to side-by-side view
Loading...