Commit 425a6dad authored by Masahiko Sakai's avatar Masahiko Sakai

Main.C

parent da70b1a6
......@@ -89,7 +89,7 @@ int opt_bdd_max_const = 2500000;
Int opt_goal = Int_MAX;
Command opt_command = cmd_Minimize;
//bool opt_binary_minimization = true;
int opt_minimization = 1; // 0: sequential, 1: binary, 2: alternative
int opt_minimization = 2; // 0: sequential, 1: binary, 2: alternative
int opt_bin_coeff = 3;
int opt_seq_thres = 3;
bool opt_band_for_goal = false;
......
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