tree 940b76a1059ce21dff759987c7f798ab8a8188a0
parent cc5a91788560c59e716c5767f533536caf397b66
author Daniel LeBerre <dleberre> 1312551039 +0000
committer Daniel LeBerre <dleberre> 1312551039 +0000

Added sum criterion, based on the upcoming 2.3.1 release of Sat4j.