org.sat4j.maxsat.reader
Classes
WDimacsReader