The following commit has been merged in the master branch:
commit 6a28904005874d4fb43d3ca83633aa61148b04c3
Author: Ralf Treinen <>
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

Reply via email to