[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#73551: [PATCH 0/8] Update some SAT/ASP solvers
|
From: |
Liliana Marie Prikler |
|
Subject: |
bug#73551: [PATCH 0/8] Update some SAT/ASP solvers |
|
Date: |
Sun, 06 Oct 2024 16:19:14 +0200 |
|
User-agent: |
Evolution 3.48.4 |
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.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#73551: [PATCH 0/8] Update some SAT/ASP solvers,
Liliana Marie Prikler <=