From 65f73a5ddff48e92aad9407d231b0e8032f3c319 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Mon, 21 Dec 2015 18:01:07 +0100
Subject: [PATCH] add spass prover

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

diff --git a/common.nix b/common.nix
index 0a5d6e3..3677ca3 100644
--- a/common.nix
+++ b/common.nix
@@ -92,6 +92,7 @@
     prover9
     eprover
     metis-prover
+    spass
     z3
     why3
     graphviz