Commit d265bf75 authored by Blomme Anthony's avatar Blomme Anthony
Browse files

Add multiplication/division iff coeff > 1

parent 6b85bf80
......@@ -251,4 +251,5 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
public String toString() {
return "VERIPB";
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