| commit | 140c2c0e10dbfd19feb3a1562cba3224dc95fc35 | [log] [tgz] |
|---|---|---|
| author | Daniel LeBerre <dleberre> | Sun Aug 07 10:30:41 2011 +0000 |
| committer | Daniel LeBerre <dleberre> | Sun Aug 07 10:30:41 2011 +0000 |
| tree | 80cb69162d3a80cf8229a1a0f9018dce0e2ce2a4 | |
| parent | 14c9c997556195bb5eb53715eb6a68b7600c1494 [diff] |
A bit more robust sum criteria: if the property does not exists, nothing happens (it is basically ignored), while if a property is not an integer, the solver will stop with an explicit message. Note that we suppose here that each property value can be stored in a long and that the sum can also be stored in a long (limitation of p2cudf, not of Sat4j).