Bug#1121763: ITP: bitwuzla -- SMT solver for bit vectors and arrays
Package: wnpp
Severity: wishlist
Owner: Gábor Németh <homar@riseup.net>
X-Debbugs-Cc: debian-devel@lists.debian.org, homar@riseup.net
* Package name : bitwuzla
Version : 0.8.2
Upstream Contact: A. Niemetz & M. Preiner, Stanford University
* URL : https://github.com/bitwuzla/bitwuzla
* License : MIT
Programming Lang: C++
Description : SMT solver for bit vectors and arrays
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of
fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted
functions and their combinations.
It is the successor of Boolector [1] and which is currently being considered
for salvaging. [2]
I'm using SMT solvers and I think this package would be superior compared to
the predecessor. I will propose an upload for the Science Team shortly and
would follow up with later releases.
I'll need a sponsor though.
BR,
Gábor
[1] https://packages.debian.org/boolector
[2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111926
Reply to: