pub fn resolve_rule_sets(
target_solver: SolverFamily,
extra_rs_names: &[&str],
) -> Result<Vec<&'static RuleSet<'static>>, ResolveRulesError>
pub fn resolve_rule_sets(
target_solver: SolverFamily,
extra_rs_names: &[&str],
) -> Result<Vec<&'static RuleSet<'static>>, ResolveRulesError>