The following commit has been merged in the master branch:
commit 45266178d49e5b5a861e82edb434ae182aa8bdd6
Author: Thomas Krennwallner <[email protected]>
Date: Sat Dec 14 14:39:53 2013 +0100
Add all packages from the wiki, and add a longer task description.
diff --git a/tasks/logic b/tasks/logic
index b0ec639..269a578 100644
--- a/tasks/logic
+++ b/tasks/logic
@@ -1,7 +1,9 @@
Task: Logic
Description: Debian Science Logic packages
This metapackage is part of the Debian Pure Blend "Debian Science"
- and installs packages related to Logic.
+ and installs packages related to Computational Logic. It contains
+ formula transformation tools, solvers for formulas specified in
+ various logics, interactive proof systems, etc.
Depends: alt-ergo
@@ -14,3 +16,25 @@ Depends: boolector
Depends: picosat
Depends: minisat2
+
+Depends: clasp
+
+Depends: coala
+
+Depends: gringo
+
+Depends: depqbf
+
+Depends: lbt
+
+Depends: maria
+
+Depends: minisat+
+
+Depends: mona
+
+Depends: sat4j
+
+Depends: coq
+
+Depends: matita
--
Debian Science Blend
_______________________________________________
Blends-commit mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/blends-commit
