Commit [d5e8a0] default Maximize Restore History

Add DIMACS2Minion convertor

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

Chris Jefferson Chris Jefferson 2009-03-24

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