Commit [r1927] Maximize Restore History

Adding an option to disable depqbf learning in mpiqbf.

lukaszkaiser 2013-11-26

changed /trunk/Toss/Formula/Sat/Depqbf.ml
changed /trunk/Toss/Formula/Sat/DepqbfWrap.c
changed /trunk/Toss/Formula/Sat/SatSolver.ml
changed /trunk/Toss/Formula/Sat/SatSolver.mli
changed /trunk/Toss/Play/HeuristicTest.ml
changed /trunk/Toss/mpiqbf.ml
/trunk/Toss/Formula/Sat/Depqbf.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/DepqbfWrap.c Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/SatSolver.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/SatSolver.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Play/HeuristicTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/mpiqbf.ml Diff Switch to side-by-side view
Loading...