Commit [r1841] Maximize Restore History

Restoring old MiniSAT bindings to allow swapping solvers in the future.

lukaszkaiser 2013-02-27

1 2 > >> (Page 1 of 2)
added /trunk/Toss/Formula/Sat/MiniSATWrap.C
added /trunk/Toss/Formula/Sat/SatSolver.ml
added /trunk/Toss/Formula/Sat/minisat
added /trunk/Toss/Formula/Sat/minisat/.cvsignore
added /trunk/Toss/Formula/Sat/minisat/Alg.h
added /trunk/Toss/Formula/Sat/minisat/BasicHeap.h
added /trunk/Toss/Formula/Sat/minisat/BoxedVec.h
added /trunk/Toss/Formula/Sat/minisat/Heap.h
added /trunk/Toss/Formula/Sat/minisat/LICENSE
added /trunk/Toss/Formula/Sat/minisat/Main.C
added /trunk/Toss/Formula/Sat/minisat/Makefile
added /trunk/Toss/Formula/Sat/minisat/Map.h
added /trunk/Toss/Formula/Sat/minisat/Queue.h
added /trunk/Toss/Formula/Sat/minisat/Solver.C
added /trunk/Toss/Formula/Sat/minisat/Solver.h
added /trunk/Toss/Formula/Sat/minisat/SolverTypes.h
changed /trunk/Toss/Client/reduct.html
changed /trunk/Toss/Formula/BoolFormula.ml
changed /trunk/Toss/Formula/Sat/Makefile
changed /trunk/Toss/Formula/Sat/Sat.ml
changed /trunk/Toss/Formula/Sat/SatTest.ml
renamed /trunk/Toss/Formula/Sat/MiniSAT.ml -> /trunk/Toss/Formula/Sat/DpllSAT.ml
renamed /trunk/Toss/Formula/Sat/MiniSAT.mli -> /trunk/Toss/Formula/Sat/DpllSAT.mli
/trunk/Toss/Formula/Sat/MiniSATWrap.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/minisat/.cvsignore Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Alg.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/BasicHeap.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/BoxedVec.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Heap.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/LICENSE Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Main.C Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Makefile Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Map.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Queue.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Solver.C Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/Solver.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/minisat/SolverTypes.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Client/reduct.html Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/BoolFormula.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/Makefile Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/Sat.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/SatTest.ml Diff Switch to side-by-side view
Loading...
1 2 > >> (Page 1 of 2)