Zbitvector

Python 3.13 🐍
* Build wheels for CPython 3.13
* Bugfix: macOS wheels linked against incompatible version of libgmp

**Full Changelog**: https://github.com/btidor/zbitvector/compare/v1.3.0...v1.4.0

Python 3.12 🐍
* Build wheels for CPython 3.12
* Update GMP to v6.3.0 for a small speed boost

**Full Changelog**: https://github.com/btidor/zbitvector/compare/v1.2.0...v1.3.0

Arrays, etc. 🧱
* Mutable arrays with `Array[K, V]`
* `Symbolic.reveal()` to unwrap simplified values
* `Solver.evaluate()` for model evaluation
* Fix: `Symbolic` instances are now hashable

**Full Changelog**: https://github.com/btidor/zbitvector/compare/v1.0.0...v1.2.0

Initial release :tada:
- Support for `Uint`, `Int`, and `Constraint`
- Fully-typed boolean and arithmetic operations
- Bitwuzla and Z3 backends
- Simple Solver API

**Full Changelog**: https://github.com/btidor/zbitvector/commits/v1.0.0