Subject: [bug#78246] [PATCH 0/3] gnu: Add bitwuzla.

From: [email-masked]
Date: Sun, 4 May 2025 19:34:41 +0200

From: Sören Tempel <[email-masked]>

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