org.sat4j.maxsat.reader
Classes
MSInstanceReader
WDimacsReader