org.sat4j.reader
Classes 
CSPExtSupportReader
CSPInstanceReader
CSPReader
CSPSupportReader
XMLCSPReader