Commit [r1921] Maximize Restore History

Debugging DiagramTest and QBF printing in ReductionTest.

lukaszkaiser 2013-10-14

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