Lib.rs

› Z3 › Versions
VersionReleased By Features Dependency changes Downloads/mo MSRV
0.19.8 [git] Feb 13, 2026
1.3K 1.85
0.19.7 [git] Dec 27, 2025
60K 1.85
0.19.6 [git] Dec 10, 2025
380 1.85
0.19.5 [git] Nov 20, 2025
110 1.85
0.19.4 [git] Nov 18, 2025
1.85
0.19.3 [git] Nov 16, 2025
1.85
0.19.2 [git] Oct 21, 2025
34 1.85
0.19.1 [git] Sep 26, 2025
1.85
0.19.0 [git] Sep 26, 2025
1.85
0.18.2 [git] Sep 10, 2025
15 1.85
0.18.1 [git] Sep 9, 2025
1.85
0.18.0 [git] Sep 8, 2025
1.85
0.17.0 [git] Sep 3, 2025
1.85
0.16.2 [git] Aug 25, 2025
850 1.85
0.16.1 [git] Aug 23, 2025
1.85
0.16.0 [git] Aug 21, 2025
1.85
0.15.0 [git] Aug 19, 2025
1.85
0.14.4 [git] Aug 19, 2025
1.85
0.14.3 [git] Aug 18, 2025
1.85
0.14.2 [git] Aug 14, 2025
1.85
0.14.1 [git] Aug 10, 2025
1.85
0.14.0 [git] Aug 6, 2025
1.85
0.13.3 [git] Jul 17, 2025
2.2K 1.76~1.72
0.13.2 [git] Jul 14, 2025
1.70
0.13.1 [git] Jul 11, 2025
1.70
0.13.0 [git] Jul 10, 2025
1.70
0.12.1 [git] Jul 25, 2023
Bruce Mitchener
6.6K 1.63~1.62
0.12.0 [git] Jul 23, 2023
Bruce Mitchener
1.63~1.60
0.11.2 [git] Aug 24, 2021
Sameer Puri
550 1.46
0.11.1 [git] Jul 21, 2021
Sameer Puri
  • z3-sys 0.7.0
1.40~1.39
0.11.0 [git] Jul 8, 2021
Sameer Puri
1.34
0.10.0 [git] Mar 23, 2021
Sameer Puri
1.34
0.9.0 [git] Dec 3, 2020
Nick Fitzgerald
1.34
0.8.0 [git] Dec 3, 2020
Nick Fitzgerald
1.34
0.7.1 [git] Nov 2, 2020
Nick Fitzgerald
38 1.34
0.7.0 [git] Oct 29, 2020
Nick Fitzgerald
1.34
0.6.0 [git] Jun 29, 2020
Nick Fitzgerald
1.34
0.5.1 [git] May 12, 2020
Nick Fitzgerald
1.34
0.5.0 [git] May 1, 2020
Nick Fitzgerald

Features added
  • z3-sys 0.6.0
1.34
0.4.0 [git] Aug 29, 2019
  • arbitrary-size-numeral
  • num
  • z3-sys 0.5.0
1.34
0.3.2 [git] Jan 7, 2019
1.24~
0.3.1 [git] Dec 31, 2018
1.24~
0.3.0 [git] Dec 6, 2018
1.24~
0.2.0 [git] Jan 3, 2016
1.24~
0.1.0 [git] Dec 28, 2015
1.24~

Minimum Supported Rust Version (MSRV) is only approximate. A range of two versions means "oldest rustc verified to work ~ oldest rustc that might work". Actual MSRV will vary depending on crate features, target platform, and dependency versions. The data is estimated based on the latest stable Rust version available at the time the crate has been published and cargo check or cargo clippy on Linux/aarch64.