diff --git a/common.nix b/common.nix
index 96c5f34..3f28576 100644
--- a/common.nix
+++ b/common.nix
@@ -92,6 +92,7 @@
     prover9
     eprover
     metis-prover
+    spass
     z3
     why3
     graphviz