Commit f59ab3e4 authored by Daniel Le Berre's avatar Daniel Le Berre

Allows DimacsOutputSolver to be used to display Dimacs output from the

command line.
parent e81d70f9
Pipeline #5938 passed with stages
in 164 minutes and 50 seconds
......@@ -206,16 +206,14 @@ public class DimacsOutputSolver extends AbstractOutputSolver
* @since 2.3.3
*/
public void printStat(PrintWriter out) {
throw new UnsupportedOperationException();
// do nothing
}
/**
* @since 2.3.3
*/
public void printInfos(PrintWriter out) {
throw new UnsupportedOperationException();
// do nothing
}
public IConstr addClause(IVecInt literals, int desc)
......
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