Commit [r1870] Maximize Restore History

GGP: Option to use saturation for playouts. Option to not do clause reordering.

lukstafi 2013-05-15

added /trunk/Toss/GGP/tests/chinesecheckers3-raw.toss
added /trunk/Toss/GGP/tests/chinesecheckers3-simpl.toss
changed /trunk/Toss/GGP/GDL.ml
changed /trunk/Toss/GGP/TranslateGame.ml
changed /trunk/Toss/GGP/TranslateGameTest.ml
changed /trunk/Toss/Makefile
changed /trunk/Toss/GGP/GDL.mli
changed /trunk/Toss/GGP/TranslateGame.mli
/trunk/Toss/GGP/tests/chinesecheckers3-raw.toss Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/tests/chinesecheckers3-simpl.toss Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/GDL.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateGame.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateGameTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Makefile Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/GDL.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateGame.mli Diff Switch to side-by-side view
Loading...