org.xcsp » xcsp3-tools
Java Tools for parsing XCSP3 instances, compiling MCSP3 models, and checking solutions. For more information about XCSP3, follow www.xcsp.org