diff --git a/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java b/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java index fda00336697b4bec051512860b2f7e7f2f50c600..7ea73ebf809f0fd5b3cf584c49430fcd1dd71ffe 100644 --- a/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java +++ b/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java @@ -194,7 +194,7 @@ public class OPBStringSolver extends DimacsStringSolver implements IPBSolver { tmp.append(nVars()); tmp.append(" #constraint= "); tmp.append(this.nbOfConstraints); - if (this.obj != null) { + if (this.obj != null && !this.obj.getCoeffs().isEmpty()) { tmp.append("\n"); tmp.append("min: "); tmp.append(this.obj);