let wp_prover_menu = [
"None" , NoProver ;
"Alt-Ergo" , Prover "alt-ergo" ;
"Coq" , Prover "coqide" ;
"Z3" , Prover "z3" ;
"Simplify" , Prover "simplify" ;
"Vampire" , Prover "vampire";
"CVC3" , Prover "cvc3" ;
"Yices" , Prover "yices" ;
"Zenon" , Prover "zenon" ;
]