and set_time_limit v = S.time_limit := float_of_int v
and set_width w = S.maxwidth := w
and set_depth d = S.maxdepth := d
and set_time_limit v = S.time_limit := float_of_int v
and set_width w = S.maxwidth := w
and set_depth d = S.maxdepth := d
"-f", Arg.Bool set_fullred,
"Enable/disable full-reduction strategy (default: enabled)";
"-f", Arg.Bool set_fullred,
"Enable/disable full-reduction strategy (default: enabled)";