Package: wnpp Severity: wishlist Owner: Gábor Németh <[email protected]> X-Debbugs-Cc: [email protected], [email protected]
* 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
