Commit 28cf778c authored by leberre's avatar leberre
Browse files

Fixed issue with first line (p cnf not starting at 0 but 7).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1668 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 67200644
......@@ -98,7 +98,7 @@ public class DimacsStringSolver extends AbstractOutputSolver {
public IConstr addClause(IVecInt literals) throws ContradictionException {
if (this.firstConstr) {
if (!this.fixedNbClauses) {
this.firstCharPos = 7 + Integer.toString(this.nbvars).length();
this.firstCharPos = 0;
this.out.append(" ");
this.out.append("\n");
this.nbclauses = 0;
......
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