pub fn find_variant_by_alias(
input: &str,
) -> Option<(&'static VariantEntry, BTreeMap<String, String>)>Expand description
Find a variant entry by a variant-level alias (case-insensitive).
A variant-level alias points at a specific reduction-graph node (e.g., "3SAT" →
KSatisfiability with variant {k: "K3"}), unlike problem-level aliases which
resolve only to a canonical problem name.
Returns the matched entry along with its variant map. The first match in registration order wins — duplicate variant-level aliases across problems are a declaration bug.