Add picosat.

2016-05-31 10:46:00 +02:00 · 2016-05-31 10:46:00 +02:00 · 2aa8d37a10
commit 2aa8d37a10
parent b37872f850
1 changed files with 1 additions and 0 deletions
--- a/common.nix
+++ b/common.nix
@ -89,6 +89,7 @@

    veriT
    minisat
+    picosat
    prover9
    eprover
    metis-prover