Commit [1041c9] default Maximize Restore History

Add more instances for symmetry breaking

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

Chris Jefferson Chris Jefferson 2009-04-15

added shape.sh
shape.sh Diff Switch to side-by-side view
Loading...