| commit | e7cc034a716faf32e1a11603ef406d025345434d | [log] [tgz] |
|---|---|---|
| author | Daniel LeBerre <dleberre> | Mon Feb 08 20:46:04 2010 +0000 |
| committer | Daniel LeBerre <dleberre> | Mon Feb 08 20:46:04 2010 +0000 |
| tree | 9dd2aa36784f3b3334a48a6fdfc41eec36250a35 | |
| parent | 00772814ba245defd681fb1af036dcdcfea9076a [diff] |
Using best available PB solver. Make sure the encoding is always the same between two runs.