Searched refs:clause_deletion_interval (Results 1 – 2 of 2) sorted by relevance
84 int clause_deletion_interval; member240 { _params.clause_deletion_interval = n; } in set_cls_del_interval()
50 _params.clause_deletion_interval = 5000; in CSolver()113 _stats.num_backtracks % _params.clause_deletion_interval == 0) in run_periodic_functions()