X

xcsp

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

Forked from SAT4J / xcsp