nixpkgs / bitwuzla - A SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions

Homepage - https://bitwuzla.github.io

License - MIT

Maintainers - Guillaume Girol

Releases

2021-07-01 (expand/collapse)
From commit 01ccfa48 to 00460bd6