PyPI page
Home page
Author:
Aina Niemetz, Mathias Preiner
License:
Bitwuzla is a Satisfiability Modulo Theories (SMT) Solver for bit-vectors,
floating-points, arrays and uninterpreted functions.
Copyright (C) 2018-2025 by its authors and c...
Summary:
Bitwuzla Satisfiability Modulo Theories Solver
Latest version:
0.9.0
Downloads last day:
25
Downloads last week:
447
Downloads last month:
1,779