let wp_prover_menu = [
"None" , NoProver ;
"Alt-Ergo" , AltErgo true ;
"Alt-Ergo (no array)" , AltErgo false ;
"Coq" , Prover "coqide" ;
"Z3" , Prover "z3" ;
"Simplify" , Prover "simplify" ;
"CVC3" , Prover "cvc3" ;
"Yices" , Prover "yices" ;
"Zenon" , Prover "zenon" ;
]