let of_name dp =
match String.lowercase dp with
| "yices" -> yices
| "cvc3" -> cvc3
| "z3" -> z3
| "vampire" -> vampire
| "simplify" -> simplify
| "alt-ergo" -> altergo
| "zenon" -> zenon
| _ -> Wp_parameters.abort "Unknown prover '%s'" dp