diff --git a/common.nix b/common.nix
index 8f5684b..38607c1 100644
--- a/common.nix
+++ b/common.nix
@@ -89,6 +89,7 @@
 
     veriT
     minisat
+    picosat
     prover9
     eprover
     metis-prover