Commit 498622d5 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Using dedicated message for VERIPB.

parent c632d767
......@@ -69,6 +69,7 @@ public class LanceurPseudo2007 extends LanceurPseudo2005 {
PBSearchListener<ISolverService> listener = new VERIPBSearchListener(
problemname);
this.solver.setSearchListener(listener);
log("using VERIPB proof format");
}
if (problemname.endsWith(".cnf"))
return new DimacsReader(theSolver);
......
Supports Markdown
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