https://smt-comp.github.io/2022/participants/2021-bitwuzla-fixed
2021 Bitwuzla_ _fixed | SMT-COMP
Jan 29, 2024 - The International Satisfiability Modulo Theories (SMT) Competition.
fixedsmtcomp
https://packages.debian.org/unstable/bitwuzla-dev
Debian -- Details of package bitwuzla-dev in sid
SMT solver for bit vectors and arrays (development files)
debiandetailspackagedevsid
https://packages.debian.org/unstable/python3-bitwuzla
Debian -- Details of package python3-bitwuzla in sid
SMT solver for bit vectors and arrays (Python bindings)
debiandetailspackagesid
https://packages.debian.org/unstable/bitwuzla-doc
Debian -- Details of package bitwuzla-doc in sid
Documentation for Bitwuzla
debiandetailspackagedocsid
https://packages.debian.org/unstable/bitwuzla
Debian -- Details of package bitwuzla in sid
SMT solver for bit vectors and arrays
debiandetailspackagesid