z3 version history (formula)
z3
formula 52 versions
since Oct 2015
~46 days between updates
Track z3 — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 4.16.0 | 2026-06-07 | e42ec4ac4 |
| 4.15.4 | 2025-10-29 | 7f06d6a17 |
| 4.15.3 | 2025-08-16 | 1fb99ad07 |
| 4.15.2 | 2025-06-25 | ffc63138f |
| 4.15.1 | 2025-06-10 | 0951742c6 |
| 4.15.0 | 2025-05-10 | 722b72e28 |
| 4.14.1 | 2025-03-11 | 10834c028 |
| 4.14.0 | 2025-02-18 | 0ee948c8a |
| 4.13.4 | 2024-12-17 | d36f5d75d |
| 4.13.3 | 2024-10-11 | 2eda2dc31 |
| 4.13.2 | 2024-09-27 | edd588c04 |
| 4.13.0 | 2024-03-07 | 17203642c |
| 4.12.6 | 2024-02-25 | a40cfdfc8 |
| 4.12.5 | 2024-01-21 | 02b49af71 |
| 4.12.4 | 2023-12-06 | 01df48444 |
| 4.12.3 | 2023-12-05 | 64f04875b |
| 4.12.2 | 2023-05-12 | 9cc0f7152 |
| 4.12.1 | 2023-01-18 | c92543f0e |
| 4.12.0 | 2023-01-14 | eaa145255 |
| 4.11.2 | 2022-12-20 | 1ec4e2048 |
| 4.11.2 | 2022-09-04 | ecfaad326 |
| 4.11.0 | 2022-08-18 | 6174e3907 |
| 4.10.2 | 2022-07-30 | 6c3693965 |
| 4.10.1 | 2022-07-23 | 5bdd611ed |
| 4.9.1 | 2022-07-07 | b5e454bab |
| 4.8.17 | 2022-05-05 | 1272e48c1 |
| 4.8.16 | 2022-04-25 | 173f387e4 |
| 4.8.15 | 2022-03-21 | c8caca30e |
| 4.8.14 | 2021-12-24 | 8d84c67f5 |
| 4.8.13 | 2021-11-19 | 907520453 |
| 4.8.12 | 2021-10-25 | 754b3c20b |
| 4.8.12 | 2021-07-14 | 375cdf28a |
| 4.8.11 | 2021-07-11 | 599645087 |
| 4.8.10 | 2021-01-21 | c0173c261 |
| 4.8.9 | 2020-10-06 | 188c041ae |
| 4.8.9 | 2020-09-12 | fc9ac1d70 |
| 4.8.8 | 2020-05-10 | 069c71b7f |
| 4.8.7 | 2020-04-18 | bcf2c8e8a |
| 4.8.7 | 2019-11-20 | 0b0385e07 |
| 4.8.6 | 2019-09-20 | 86772494f |
| 4.8.5 | 2019-06-03 | 04205e2aa |
| 4.8.4 | 2019-01-08 | 92a54973a |
| 4.8.4 | 2018-12-23 | d349ca04b |
| 4.8.4 | 2018-12-21 | 2c3629459 |
| 4.8.3 | 2018-11-20 | 13c880b0e |
| 4.8.1 | 2018-10-26 | 45f948cb4 |
| 4.7.1 | 2018-05-23 | 062791a6d |
| 4.6.0 | 2018-03-16 | 38a4c709c |
| 4.6.0 | 2017-12-19 | ab3365ac9 |
| 4.5.0 | 2016-11-08 | 3bf571a47 |
| 4.4.1 | 2015-11-22 | b2d52f599 |
| 4.4.0 | 2015-10-09 | 06bfa4f1f |