add metis prover

2015-09-24 20:53:19 +02:00 · 2015-09-24 20:53:19 +02:00 · ad2d11c0b1
parent 235b106c78
commit ad2d11c0b1
1 changed files with 1 additions and 0 deletions
--- a/common.nix
+++ b/common.nix
@ -89,6 +89,7 @@
    minisat
    prover9
    eprover
+    metis-prover
    z3
    why3
    graphviz