Skip to content
X

xcsp

Project ID: 144

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