GNU bug report logs - #78246
[PATCH 0/3] gnu: Add bitwuzla.

Previous Next

Full log

View this message in rfc822 format

From: soeren <at> soeren-tempel.net
To: 78246 <at> debbugs.gnu.org
Cc: liliana.prikler <at> gmail.com, Andreas Enge <andreas <at> enge.fr>, Eric Bavier <bavier <at> posteo.net>, Sharlatan Hellseher <sharlatanus <at> gmail.com>
Subject: [bug#78246] [PATCH 0/3] gnu: Add bitwuzla.
Date: Sun,  4 May 2025 19:34:41 +0200

From: Sören Tempel <soeren <at> soeren-tempel.net>

This patchsets adds bitwuzla <https://bitwuzla.github.io/> an SMT solver
which is especially efficent for bitvector theory and can be used with
the already packaged BINSEC symbolic executor.

While packaging bitwuzla, I also noticed and fixed a bug regarding the
installed header files for cadical (CC: liliana.prikler@) and added a
package for symfpu, which is a dependency of bitwuzla.

Sören Tempel (3):
  gnu: cadical: also install C++ header file to /usr/include
  gnu: Add symfpu.
  gnu: Add bitwuzla.

 gnu/packages/maths.scm | 96 +++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 95 insertions(+), 1 deletion(-)


base-commit: 415e3d98d6faf5fd3d1b7b3daa2f20636e4ff822

Previous Next

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