bug#61783: closed ([PATCH 0/6] Add more SMT solvers)

[GNU bug Tracking System]

Your message dated Sun, 05 Mar 2023 09:49:09 +0100
with message-id <31693cf91c605d6583262d3de7a0a6639d1bbde9.camel@gmail.com>
and subject line Re: [PATCH 0/6] Add more SMT solvers
has caused the debbugs.gnu.org bug report #61783,
regarding [PATCH 0/6] Add more SMT solvers
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
61783: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61783
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/6] Add more SMT solvers
>
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [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.
>
>
> --- End Message ---