commit | ac4a84673d70449bba0fef3e3d5f9594db78db58 | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Sat Jun 12 13:24:20 2010 +0000 |
committer | Daniel LeBerre <dleberre> | Sat Jun 12 13:24:20 2010 +0000 |
tree | 59d21e4eb6028db38942b4ad7d1b4bcf59e5ddcc | |
parent | 59c424ffd0146ebd126cee1c1a111fb257d2f0ce [diff] |
Updated the version of sat4j to fix the format of the objective function in the opb file.