public void minimize(WriteFile wr) {
// makeBiGr();
HashMap<Variable, Instance> ans = sysBiGr.doCutNonAE(wr);
wr.writeln(ans.toString());
}
public HashMap<Variable, Instance> minimizeAns(WriteFile wr, WriteFile sec) {
HashMap<Variable, Instance> ans = sysBiGr.doCutNonAE(wr, sec);
return ans;
}
public void minimize() {
// makeBiGr();
HashMap<Variable, Instance> ans = sysBiGr.doCutNonAE();
System.out.println(ans.toString());
}