tree 80cb69162d3a80cf8229a1a0f9018dce0e2ce2a4
parent 14c9c997556195bb5eb53715eb6a68b7600c1494
author Daniel LeBerre <dleberre> 1312713041 +0000
committer Daniel LeBerre <dleberre> 1312713041 +0000

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).