GNU bug report logs - #73551
[PATCH 0/8] Update some SAT/ASP solvers

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Sun, 29 Sep 2024 09:19:30 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #34 received at 73551-done <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 73551-done <at> debbugs.gnu.org
Subject: Re: [PATCH 0/8] Update some SAT/ASP solvers
Date: Sun, 06 Oct 2024 16:19:14 +0200

Am Sonntag, dem 29.09.2024 um 11:16 +0200 schrieb Liliana Marie
Prikler:
> 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.
Done and pushed.
This bug report was last modified 286 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.