Commit d4a7671f authored by leberre's avatar leberre
Browse files

Moved ILogAble to spec package to avoid cycles between sat4j and sat4j.minisat.core.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1694 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 8d4d9efe
......@@ -34,7 +34,6 @@ import java.io.IOException;
import org.sat4j.AbstractLauncher;
import org.sat4j.ILauncherMode;
import org.sat4j.ILogAble;
import org.sat4j.core.ASolverFactory;
import org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator;
import org.sat4j.pb.reader.OPBReader2006;
......@@ -42,6 +41,7 @@ import org.sat4j.pb.tools.SearchOptimizerListener;
import org.sat4j.reader.ParseFormatException;
import org.sat4j.reader.Reader;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.ILogAble;
import org.sat4j.specs.IProblem;
import org.sat4j.specs.ISolver;
import org.sat4j.tools.ConflictDepthTracing;
......
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