pub fn symbolic_solver_is_builtin(solver: &str) -> bool
Returns whether solver is one of Foundry’s semantic symbolic solver names.
solver