laurent.perron@gmail.com 86d4238f7d tentative support for scip under windows

2013-04-21 10:49:57 +00:00

..

solutions

tentative support for scip under windows

2013-04-21 10:49:57 +00:00

sources

rename unused luby_restart to minisat_luby_restart, luby_factor to luby_restart

2012-08-13 15:39:34 +00:00