all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* [bug#73551] [PATCH 0/8] Update some SAT/ASP solvers
@ 2024-09-29  9:16 Liliana Marie Prikler
  2024-09-25 19:03 ` [bug#73551] [PATCH 1/8] gnu: scasp: Update to 1.1.4 Liliana Marie Prikler
                   ` (8 more replies)
  0 siblings, 9 replies; 10+ messages in thread
From: Liliana Marie Prikler @ 2024-09-29  9:16 UTC (permalink / raw)
  To: 73551

Hi Guix,

I noticed that scasp and some other tools where out of date, so I
decided to update them.

Cheers

Liliana Marie Prikler (8):
  gnu: scasp: Update to 1.1.4.
  gnu: kissat: Update to 4.0.1.
  gnu: z3: Update to 4.13.0.
  gnu: lingeling: Update to 1.0.0.
  gnu: Add cadical.
  gnu: Add cadiback.
  gnu: Add cadiback-for-cryptominisat.
  gnu: cryptominisat: Update to 5.11.22.

 gnu/local.mk                                  |   1 +
 gnu/packages/maths.scm                        | 362 ++++++++++++------
 .../patches/cadical-add-shared-library.patch  |  49 +++
 3 files changed, 305 insertions(+), 107 deletions(-)
 create mode 100644 gnu/packages/patches/cadical-add-shared-library.patch


base-commit: 93ceb2d90165fa5e76f983f252f09bf97f3b17d8
-- 
2.46.0





^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2024-10-06 14:21 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-09-29  9:16 [bug#73551] [PATCH 0/8] Update some SAT/ASP solvers Liliana Marie Prikler
2024-09-25 19:03 ` [bug#73551] [PATCH 1/8] gnu: scasp: Update to 1.1.4 Liliana Marie Prikler
2024-09-25 19:03 ` [bug#73551] [PATCH 2/8] gnu: kissat: Update to 4.0.1 Liliana Marie Prikler
2024-09-25 19:55 ` [bug#73551] [PATCH 3/8] gnu: z3: Update to 4.13.0 Liliana Marie Prikler
2024-09-25 20:02 ` [bug#73551] [PATCH 4/8] gnu: lingeling: Update to 1.0.0 Liliana Marie Prikler
2024-09-29  9:00 ` [bug#73551] [PATCH 5/8] gnu: Add cadical Liliana Marie Prikler
2024-09-29  9:04 ` [bug#73551] [PATCH 6/8] gnu: Add cadiback Liliana Marie Prikler
2024-09-29  9:04 ` [bug#73551] [PATCH 7/8] gnu: Add cadiback-for-cryptominisat Liliana Marie Prikler
2024-09-29  9:08 ` [bug#73551] [PATCH 8/8] gnu: cryptominisat: Update to 5.11.22 Liliana Marie Prikler
2024-10-06 14:19 ` bug#73551: [PATCH 0/8] Update some SAT/ASP solvers Liliana Marie Prikler

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.