The following commit has been merged in the master branch:
commit 6a28904005874d4fb43d3ca83633aa61148b04c3
Author: Ralf Treinen <trei...@free.fr>
Date:   Tue Oct 18 08:08:26 2016 +0200

    task logic: add why, why3, z3. drop otter.
    
    Otter has been removed from the unstable and testing

diff --git a/tasks/logic b/tasks/logic
index e5e8798..dd268b2 100644
--- a/tasks/logic
+++ b/tasks/logic
@@ -18,6 +18,10 @@ Depends: hol88
 Depends: matita
 
 Depends: proofgeneral
+
+Depends: why
+
+Depends: why3
 X-End-Category: proof assistants
 
 X-Begin-Category: SAT and QBF solvers
@@ -34,13 +38,12 @@ Depends: alt-ergo
 Depends: boolector
 
 Depends: cvc3
+
+Depends: z3
 X-End-Category: SMT solvers
 
 X-Begin-Category: first-order and equational solvers
-Recommends: otter
-
 Depends: prover9
-X-comment: prover9 supersedes otter ?
 
 Depends: mace2
 

-- 
Debian Science Blend

_______________________________________________
Blends-commit mailing list
Blends-commit@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/blends-commit

Reply via email to