Admin/mira.py

--- a/Admin/mira.py	Thu Mar 24 15:29:31 2011 +0100
+++ b/Admin/mira.py	Thu Mar 24 16:39:37 2011 +0100
@@ -251,7 +251,7 @@
 
 # Judgement Day configurations
 
-judgement_day_provers = ('e', 'spass', 'vampire')
+judgement_day_provers = ('e', 'spass', 'vampire', 'z3', 'cvc3', 'yices')
 
 def judgement_day(base_path, theory, opts, env, case, paths, dep_paths, playground):
     """Judgement Day regression suite"""