org.sat4j.reader

Classes  AAGReader AIGReader CardDimacsReader CSPExtSupportReader CSPReader CSPSupportReader DimacsReader ExtendedDimacsReader GoodOPBReader InstanceReader LecteurDimacs OPBReader2005 OPBReader2006 OPBReader2007 Reader XMLCSPReader

Exceptions  ParseFormatException