Subject: [bug#61783] [PATCH 0/6] Add more SMT solvers

From: Liliana Marie Prikler <[email-masked]>
Date: Sat, 25 Feb 2023 09:58:44 +0100

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.

 gnu/local.mk                                  |   1 +
 gnu/packages/maths.scm                        | 254 +++++++++++++++++-
 .../patches/boolector-find-googletest.patch   | 204 ++++++++++++++
 3 files changed, 458 insertions(+), 1 deletion(-)
 create mode 100644 gnu/packages/patches/boolector-find-googletest.patch

base-commit: ea2fa86f31a83195ac789a6d92bcaee8e53e4397
-- 
2.39.1