Added sum criterion, based on the upcoming 2.3.1 release of Sat4j.
6 files changed
tree: 940b76a1059ce21dff759987c7f798ab8a8188a0
  1. org.eclipse.equinox.p2.cudf/