[Blends-commit] [SCM] science branch, master, updated. e380212edb13bb39160ca8f97825790eb1e43511

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e380212edb13bb39160ca8f97825790eb1e43511
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Jul 29 22:26:48 2017 +0200

    tasks/logic: add cvc4 which is about to be uploaded

diff --git a/tasks/logic b/tasks/logic
index bba78a2..fcf4291 100644
--- a/tasks/logic
+++ b/tasks/logic
@@ -39,6 +39,8 @@ Depends: boolector
 
 Depends: cvc3
 
+Depends: cvc4
+
 Depends: z3
 X-End-Category: SMT solvers
 

-- 
Debian Science Blend