Commit [r1862]  Maximize  Restore  History

Moving BoolFormula to QBF and limiting the use of BF.

lukaszkaiser 2013-04-14

1 2 > >> (Page 1 of 2)
removed /trunk/Toss/Client/PawnsStyle.css
removed /trunk/Toss/Client/pawns.html
changed /trunk/Toss/Formula/BoolFunction.ml
changed /trunk/Toss/Formula/Diagram.ml
changed /trunk/Toss/Formula/Diagram.mli
changed /trunk/Toss/Formula/DiagramTest.ml
changed /trunk/Toss/Formula/FormulaOps.ml
changed /trunk/Toss/Formula/FormulaOpsTest.ml
changed /trunk/Toss/Formula/Makefile
changed /trunk/Toss/Learn/DistinguishTest.ml
changed /trunk/Toss/Learn/Lfp.ml
changed /trunk/Toss/Learn/LfpTest.ml
changed /trunk/Toss/Learn/Reduction.ml
changed /trunk/Toss/Learn/ReductionTest.ml
changed /trunk/Toss/Play/HeuristicTest.ml
changed /trunk/Toss/Server/Tests.ml
changed /trunk/Toss/Solver/Assignments.ml
changed /trunk/Toss/Solver/ClassTest.ml
changed /trunk/Toss/Solver/Solver.ml
renamed /trunk/Toss/Formula/BoolFormula.ml -> /trunk/Toss/Formula/QBF.ml
renamed /trunk/Toss/Formula/BoolFormula.mli -> /trunk/Toss/Formula/QBF.mli
renamed /trunk/Toss/Formula/BoolFormulaTest.ml -> /trunk/Toss/Formula/QBFTest.ml
/trunk/Toss/Client/pawns.html
File was removed.
/trunk/Toss/Formula/BoolFunction.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Diagram.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Diagram.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/DiagramTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaOps.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/FormulaOpsTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Makefile Diff Switch to side-by-side view
Loading...
/trunk/Toss/Learn/DistinguishTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Learn/Lfp.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Learn/LfpTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Learn/Reduction.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Learn/ReductionTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Play/HeuristicTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Server/Tests.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Assignments.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/ClassTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Solver/Solver.ml Diff Switch to side-by-side view
Loading...
1 2 > >> (Page 1 of 2)