add spass prover

2015-12-21 18:01:07 +01:00 · 2015-12-21 18:01:07 +01:00 · 65f73a5ddf
commit 65f73a5ddf
parent c372ac3853
1 changed files with 1 additions and 0 deletions
--- a/common.nix
+++ b/common.nix
@ -92,6 +92,7 @@
    prover9
    eprover
    metis-prover
+    spass
    z3
    why3
    graphviz