control_sos_2 | disable_sos |
int control_sos_2(Clist sos, int given, int limit_millisec, int current_max_wt, int ratio, void (*disable_proc) (Clause));
int disable_sos(Clist sos, int number_to_keep, int old_max_wt, int ratio, void (*disable_proc) (Clause));
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.