From 2aa8d37a10252b96b96ddf30e7df728fe48c9d04 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 31 May 2016 10:46:00 +0200
Subject: [PATCH] Add picosat.

---
 common.nix | 1 +
 1 file changed, 1 insertion(+)

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