tree 7ef3a3ef7f149382827efdcada985010fc4874bd
parent 5b535b00096c6f91ed37fa376d753204465d1c94
author Daniel LeBerre <dleberre> 1299014764 +0000
committer Daniel LeBerre <dleberre> 1299014764 +0000

Using long instead og BigInt in the PB solver.