| Imports | Exports |
|---|---|
Name: get_preference/2 Module: preferences Name: module_info/2 Module: module_information | Name: restart_policy/1 Name: static_syntax_analysis/1 Name: static_smt_symmetry_breaking/1 Name: luby_restart_unit_length/1 Name: glucose_restart_recent_lbds_threshold/1 Name: glucose_restart_margin_ratio/1 Name: glucose_restart_trail_threshold/1 Name: glucose_restart_stack_avg_factor/1 Name: discard_clause_greater_lbd/1 Name: discard_learned_clauses_frequency_constant/1 Name: discard_learned_clauses_constant_factor/1 Name: decision_heuristic/1 Name: bump_scores_for_bj_clause_only/1 Name: vsids_decay_value/1 Name: vsids_decay_frequency/1 Name: evsids_f_value/1 Name: clause_learning/1 Name: print_logs/1 |