Commit [68961f] default Maximize Restore History

Collecting all necessary data for learning, I believe.

git-svn-id: svn+ssh://keith.cs.st-and.ac.uk/mnt/raid/svn/repositories/minion-private/branches/neilsat@147 477b24dd-e91e-0410-aa49-980f3df0729b

Neil Moore Neil Moore 2007-11-19

changed minion/search/standard_search.h
changed minion/variables/containers/booleanvariables.h
changed minion/memory_management/backtrackable_memory.h
changed minion/dynamic_constraints/dynamic_sum.h
changed minion/constraints/constraint_neq.h
changed minion/solver2.h
minion/search/standard_search.h Diff Switch to side-by-side view
Loading...
minion/variables/containers/booleanvariables.h Diff Switch to side-by-side view
Loading...
minion/memory_management/backtrackable_memory.h Diff Switch to side-by-side view
Loading...
minion/dynamic_constraints/dynamic_sum.h Diff Switch to side-by-side view
Loading...
minion/constraints/constraint_neq.h Diff Switch to side-by-side view
Loading...
minion/solver2.h Diff Switch to side-by-side view
Loading...