Function get_rule_sets_for_solver_family

pub fn get_rule_sets_for_solver_family(
    solver_family: SolverFamily,
) -> Vec<&'static RuleSet<'static>>

Get all rule sets for a given solver family. Returns a Vec of static references to all rule sets that are applicable to the given solver family.

Example

use conjure_core::solver::SolverFamily;
use conjure_core::rule_engine::get_rule_sets_for_solver_family;

let rule_sets = get_rule_sets_for_solver_family(SolverFamily::SAT);
assert_eq!(rule_sets.len(), 1);
assert_eq!(rule_sets[0].name, "CNF");