BoolOption mod ("MAIN", "model", "show model.", false);
IntOption vv ("MAIN", "vv", "Verbosity every vv conflicts", 10000, IntRange(1,INT32_MAX));
BoolOption pre ("MAIN", "pre", "Completely turn on/off any preprocessing.", true);
BoolOption mod ("MAIN", "model", "show model.", false);
IntOption vv ("MAIN", "vv", "Verbosity every vv conflicts", 10000, IntRange(1,INT32_MAX));
BoolOption pre ("MAIN", "pre", "Completely turn on/off any preprocessing.", true);