P

PB-Powered Sat4j-CSP

CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.

Forked from SAT4J / xcsp