PMD Results

The following document contains the results of PMD 4.2.5.

Files

org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java

ViolationLine
Avoid unused private fields such as 'bestModel'.49
Avoid unused private fields such as 'bestFullModel'.50

org/sat4j/pb/OptToPBSATAdapter.java

ViolationLine
Avoid empty catch blocks119 - 121