commit | 25cf2643f061cb141c9606fd3e4401001c9b1fa3 | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Fri Aug 05 13:30:39 2011 +0000 |
committer | Daniel LeBerre <dleberre> | Fri Aug 05 13:30:39 2011 +0000 |
tree | 940b76a1059ce21dff759987c7f798ab8a8188a0 | |
parent | cc5a91788560c59e716c5767f533536caf397b66 [diff] |
Added sum criterion, based on the upcoming 2.3.1 release of Sat4j.