pub const BUILTIN_SYMBOLIC_SOLVERS: &[&str];
Symbolic solver names with built-in command-line mappings.