commit | b665bc9c7f2b5e19905ca422b21e89967e85a00a | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Tue Dec 28 17:15:09 2010 +0000 |
committer | Daniel LeBerre <dleberre> | Tue Dec 28 17:15:09 2010 +0000 |
tree | 2edd266adabe11f84ec74e9ea238e12efee1f942 | |
parent | 0ff9efb49ba0e3bea0cb020788c13508d4c63a76 [diff] |
Solver configuration uses simple simplifications and Luby restarts.