Commit 063cf69d authored by leberre's avatar leberre

Removed pi in maxsat.

git-svn-id: svn+ssh:// ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 196ac83e
......@@ -1002,7 +1002,7 @@ public class DetailedCommandPanel extends JPanel implements SolverController,
} else {
this.problem = new PseudoOptDecorator(
(WeightedMaxSatDecorator) this.problem, false,
this.problem = new OptToPBSATAdapter(
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