Commit aff7b759 authored by leberre's avatar leberre

Fixed an issue: do not take into account linearized constraints.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@292 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 046a69eb
......@@ -661,7 +661,7 @@ public class OPBReader2005 extends Reader implements Serializable {
// Small check on the number of constraints
if (nbConstraintsRead != nbConstr) {
throw new ParseFormatException(
"Number of constraints read is different from metadata.");
"Number of constraints read ("+nbConstraintsRead+") is different from metadata ("+nbConstr+")");
}
}
......
......@@ -270,7 +270,7 @@ public class OPBReader2007 extends OPBReader2006 {
literalInAProduct(newVar, newLits);
newCoefs.push(new BigInteger(String.valueOf(-tmpLit.size())));
solver.addPseudoBoolean(newLits, newCoefs, true, BigInteger.ZERO);
nbConstraintsRead += 2;
// nbConstraintsRead += 2;
}
return newVar;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment