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, register_rule_set};

register_rule_set!("CNF", (), SolverFamily::Sat);

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