org.sat4j.reader.csp (SAT4J 2.2.0 Test API)