org.sat4j.maxsat.reader

Classes  P2DimacsReader WDimacsReader