Commit [r1930] Maximize Restore History

Bugfix to compile on OSX (thanks Skip).

lukaszkaiser 2014-02-14

changed /trunk/Toss/Formula/Sat/minisat/SolverTypes.h
changed /trunk/Toss/www/index.xml
/trunk/Toss/Formula/Sat/minisat/SolverTypes.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/www/index.xml Diff Switch to side-by-side view
Loading...