diff --git a/common.nix b/common.nix
index f451129..d8bc5da 100644
--- a/common.nix
+++ b/common.nix
@@ -89,6 +89,7 @@
     minisat
     prover9
     eprover
+    metis-prover
     z3
     why3
     graphviz