The following commit has been merged in the master branch:
commit e380212edb13bb39160ca8f97825790eb1e43511
Author: Ralf Treinen <[email protected]>
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
_______________________________________________
Blends-commit mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/blends-commit
