[Blends-commit] [Git][blends-team/science][master] 2 commits: tasks/logic: update according to the latest unstable archive

[Andreas Tille (@tille)]

Andreas Tille pushed to branch master at Debian Blends Team / science


Commits:
262b7ac5 by Shengqi Chen at 2024-10-14T13:19:42+00:00
tasks/logic: update according to the latest unstable archive

* remove packages that are long disappeared: matita, why, cvc3, mace2, coala
* move minisat+ to the correct category (SAT solvers)
* add new packages: kissat, drat-trim
- - - - -
7f4ccbab by Andreas Tille at 2024-10-15T12:48:14+00:00
Merge branch 'harry-master-patch-59409' into 'master'

tasks/logic: update according to the latest unstable archive

See merge request blends-team/science!16
- - - - -


1 changed file:

- tasks/logic


Changes:

=====================================
tasks/logic
=====================================
@@ -15,12 +15,8 @@ Recommends: hol-light
 
 Recommends: hol88
 
-Recommends: matita
-
 Recommends: proofgeneral
 
-Recommends: why
-
 Recommends: why3
 X-End-Category: proof assistants
 
@@ -30,6 +26,14 @@ Recommends: depqbf
 Recommends: picosat
 
 Recommends: sat4j
+
+Recommends: minisat+
+X-Comment: minisat2 is only a transitional package
+
+Recommends: kissat
+
+Recommends: drat-trim
+X-Comment: this is SAT proof checker
 X-End-Category: SAT and QBF solvers
 
 X-Begin-Category: SMT solvers
@@ -37,8 +41,6 @@ Recommends: alt-ergo
 
 Recommends: boolector
 
-Recommends: cvc3
-
 Recommends: cvc4
 
 Recommends: z3
@@ -47,8 +49,6 @@ X-End-Category: SMT solvers
 X-Begin-Category: first-order and equational solvers
 Recommends: prover9
 
-Recommends: mace2
-
 Recommends: maude
 
 Recommends: spass
@@ -58,18 +58,13 @@ X-Begin-Category: integer programming solvers
 Recommends: coinor-cbc, coinor-symphony
 
 Suggests: coinor-libcoinmp-dev
-
-Recommends: minisat+
-X-Comment: minisat2 is only a transitional package
 X-End-Category: integer programming solvers
 
 X-Begin-Category: answer set programming
 Recommends: clasp
 
-Recommends: coala
-
 Recommends: gringo
-X-End-Category:
+X-End-Category: answer set programming
 
 X-Begin-Category: reasoning about automata
 Recommends: lbt



View it on GitLab: https://salsa.debian.org/blends-team/science/-/compare/75be8bd90132b8bf0ef7fdc2b0fcd427cf87bf69...7f4ccbaba2f9c74b5c0afb94edf2820664f27c9b

-- 
View it on GitLab: https://salsa.debian.org/blends-team/science/-/compare/75be8bd90132b8bf0ef7fdc2b0fcd427cf87bf69...7f4ccbaba2f9c74b5c0afb94edf2820664f27c9b
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/blends-commit/attachments/20241015/3ec8eb85/attachment-0001.htm>