mbox series

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

Message ID cover.1746379841.git.soeren@soeren-tempel.net
Headers
Series gnu: Add bitwuzla. |

Message

Sören Tempel May 4, 2025, 5:34 p.m. UTC 
  From: Sören Tempel <soeren@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