Commit 404d89d3 authored by leberre's avatar leberre

Fixed bug 312655.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@303 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 95ea0057
......@@ -1037,9 +1037,6 @@ public class Solver<L extends ILits, D extends DataStructureFactory<L>>
trail.ensure(howmany);
trailLim.ensure(howmany);
learnedLiterals = 0;
order.init();
learner.init();
restarter.init(params);
timebegin = System.currentTimeMillis();
slistener.start();
model = null; // forget about previous model
......@@ -1071,7 +1068,12 @@ public class Solver<L extends ILits, D extends DataStructureFactory<L>>
}
}
rootLevel = decisionLevel();
// moved initialization here if new literals are added in the assumptions.
order.init();
learner.init();
restarter.init(params);
final long memorybound = Runtime.getRuntime().freeMemory() / 10;
ConflictTimer freeMem = new ConflictTimerAdapter(500) {
......
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