tree 59d21e4eb6028db38942b4ad7d1b4bcf59e5ddcc
parent 59c424ffd0146ebd126cee1c1a111fb257d2f0ce
author Daniel LeBerre <dleberre> 1276349060 +0000
committer Daniel LeBerre <dleberre> 1276349060 +0000

Updated the version of sat4j to fix the format of the objective function in the opb file.