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

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 45266178d49e5b5a861e82edb434ae182aa8bdd6
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
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