[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61783: [PATCH 0/6] Add more SMT solvers
|
From: |
Liliana Marie Prikler |
|
Subject: |
bug#61783: [PATCH 0/6] Add more SMT solvers |
|
Date: |
Sun, 05 Mar 2023 09:49:09 +0100 |
|
User-agent: |
Evolution 3.46.0 |
Am Samstag, dem 25.02.2023 um 09:58 +0100 schrieb Liliana Marie
Prikler:
> Hi Guix,
>
> while z3 is nice and all, I thought it'd be better to have some
> competition. So here it is.
>
> Cheers
>
> Liliana Marie Prikler (6):
> gnu: Add cudd.
> gnu: Add libpoly.
> gnu: Add yices.
> gnu: Add btor2tools.
> gnu: Add boolector.
> gnu: Add java-smtinterpol.
Pushed.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#61783: [PATCH 0/6] Add more SMT solvers,
Liliana Marie Prikler <=