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.
_______________________________________________ Blends-commit mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/blends-commit
