MaRDI QIDQ22050swMATHFDO
Official website http://sat.inesc.pt/~ines/publications/CSP2sat4j.pdf
This page was built for software: CSP2SAT4J