0.1.0 (March 22, 2019)
- Initial release of SMT API for Rust
- Support for Z3 SMT solver
0.1.1 (April 5, 2019)
- Bug fix - properly handle ref counting of Z3 solver and model objects
0.2.0 (April 25, 2019)
- Some bug fixes
- Support for records
This repository has been archived by the owner on Mar 2, 2021. It is now read-only.