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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e6bc307d2efc42b1496d176d01fe087f327845bc
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Dec 17 08:19:24 2013 +0100

    logic task: ass mor packages, create subsections

diff --git a/tasks/logic b/tasks/logic
index 269a578..fc07026 100644
--- a/tasks/logic
+++ b/tasks/logic
@@ -5,36 +5,50 @@ Description: Debian Science Logic packages
  formula transformation tools, solvers for formulas specified in
  various logics, interactive proof systems, etc.
 
-Depends: alt-ergo
-
-Depends: cvc3
-
-Depends: coinor-cbc
-
-Depends: boolector
+X-Begin-Category: proof assistants
+Depends: agda
+Depends: coq
+Depends: hol-light
+Depends: hol88
+Depends: matita
+Depends: proofgeneral
+X-End-Category: proof assistants
 
+X-Begin-Category: SAT and QBF solvers
+Depends: depqbf
 Depends: picosat
+Depends: sat4j
+X-End-Category: SAT and QBF solvers
 
-Depends: minisat2
+X-Begin-Category: SMT solvers
+Depends: alt-ergo
+Depends: boolector
+Depends: cvc3
+X-End-Category: SMT solvers
+
+X-Begin-Category: first-order and equational solvers
+Recommands: otter
+Depends: prover9
+X-comment: prover9 supersedes otter ?
+Depends: mace2
+Depends: maude
+Depends: spass
+X-End-Category: first-order and equational solvers
+
+X-Begin-Category: integer programming solvers
+Depends: coinor-cbc
+Depends: minisat+
+X-Comment: minisat2 is only a transitional package
+X-End-Category: integer programming solvers
 
+X-Begin-Category: answer set programming
 Depends: clasp
-
 Depends: coala
-
 Depends: gringo
+X-End-Category:
 
-Depends: depqbf
-
+X-Begin-Category: reasoning about automata
 Depends: lbt
-
 Depends: maria
-
-Depends: minisat+
-
 Depends: mona
-
-Depends: sat4j
-
-Depends: coq
-
-Depends: matita
+X-End-Category: reasoning about automata

-- 
Debian Science Blend