| commit | af6a51505765982254d726a6992ab31bba1ff92c | [log] [tgz] |
|---|---|---|
| author | Daniel LeBerre <dleberre> | Tue Mar 01 21:26:04 2011 +0000 |
| committer | Daniel LeBerre <dleberre> | Tue Mar 01 21:26:04 2011 +0000 |
| tree | 7ef3a3ef7f149382827efdcada985010fc4874bd | |
| parent | 5b535b00096c6f91ed37fa376d753204465d1c94 [diff] |
Using long instead og BigInt in the PB solver.