org.sat4j.reader
Classes
CSPExtSupportReader
CSPInstanceReader
CSPReader
CSPSupportReader
XMLCSPReader