[Blends-commit] [Git][blends-team/science][master] 2 commits: Recommend Bitwuzla instead of Boolector

[Andreas Tille (@tille)]

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


Commits:
55e155c2 by Gábor Németh at 2026-03-25T16:12:35+00:00
Recommend Bitwuzla instead of Boolector
- - - - -
ea12eb84 by Andreas Tille at 2026-03-25T20:49:33+01:00
Merge branch 'master' into 'master'

Recommend Bitwuzla instead of Boolector

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


1 changed file:

- debian/control


Changes:

=====================================
debian/control
=====================================
@@ -1219,7 +1219,7 @@ Depends: ${misc:Depends},
          science-config (= ${source:Version}),
          science-tasks (= ${source:Version})
 Recommends: agda,
-            boolector,
+            bitwuzla,
             clasp,
             coinor-cbc,
             coinor-symphony,



View it on GitLab: https://salsa.debian.org/blends-team/science/-/compare/64b4926980434fc48ea53bb2ab82271f3a4450d5...ea12eb84fb85b629591c1747fee6225f9546e168

-- 
View it on GitLab: https://salsa.debian.org/blends-team/science/-/compare/64b4926980434fc48ea53bb2ab82271f3a4450d5...ea12eb84fb85b629591c1747fee6225f9546e168
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/20260325/7f0f3162/attachment-0001.htm>