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.