A C D G H L M N O P R S U W

P

P2DimacsReader - Class in org.sat4j.maxsat.reader

Simple reader for the weighted maxsat problem.

P2DimacsReader(MinCostDecorator) - Constructor for class org.sat4j.maxsat.reader.P2DimacsReader