0.1.0 (March 22, 2019) ### Initial Release * Initial release of SMT API for Rust * Support for Z3 SMT solver 0.1.1 (April 5, 2019) ### Patch Release * Bug fix - properly handle ref counting of Z3 solver and model objects 0.2.0 (April 25, 2019) ### Minor Release * Some bug fixes * Support for records