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).
4 files changed
tree: 80cb69162d3a80cf8229a1a0f9018dce0e2ce2a4
  1. org.eclipse.equinox.p2.cudf/