# Z3 Theorem Prover

> software for solving satisfiability modulo theories

**Wikidata**: [Q85816952](https://www.wikidata.org/wiki/Q85816952)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Z3_Theorem_Prover)  
**Source**: https://4ort.xyz/entity/z3-theorem-prover


## References

1. [Programming Languages Software Award](https://www.sigplan.org/Awards/Software/#2015_Z3_Theorem_Prover)
2. [Source](https://github.com/Z3Prover/z3/blob/master/LICENSE.txt)
3. [Source](https://github.com/Z3Prover/z3/wiki#platforms)
4. [2021](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.10)
5. [Release 4.1.1. 2015](https://github.com/Z3Prover/z3/releases/tag/z3-4.1.1)
6. [Release 4.3.0. 2015](https://github.com/Z3Prover/z3/releases/tag/z3-4.3.0)
7. [Release 4.3.1. 2015](https://github.com/Z3Prover/z3/releases/tag/z3-4.3.1)
8. [Release 4.3.2. 2015](https://github.com/Z3Prover/z3/releases/tag/z3-4.3.2)
9. [Release 4.4.0. 2015](https://github.com/Z3Prover/z3/releases/tag/z3-4.4.0)
10. [Release 4.4.1. 2015](https://github.com/Z3Prover/z3/releases/tag/z3-4.4.1)
11. [Release 4.5.0. 2016](https://github.com/Z3Prover/z3/releases/tag/z3-4.5.0)
12. [Release 4.6.0. 2017](https://github.com/Z3Prover/z3/releases/tag/z3-4.6.0)
13. [Release 4.7.1. 2018](https://github.com/Z3Prover/z3/releases/tag/z3-4.7.1)
14. [Release 4.8.1. 2018](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.1)
15. [Release 4.8.3. 2018](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3)
16. [Release 4.8.4. 2018](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.4)
17. [Release 4.8.5. 2019](https://github.com/Z3Prover/z3/releases/tag/Z3-4.8.5)
18. [Release 4.8.6. 2019](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.6)
19. [Release 4.8.7. 2019](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.7)
20. [Release 4.8.8. 2020](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.8)
21. [Release 4.8.9. 2020](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.9)
22. [Release 4.8.11. 2021](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.11)
23. [Release 4.8.12. 2021](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.12)
24. [Release 4.8.13. 2021](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.13)
25. [Release 4.8.14. 2021](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.14)
26. [Release z3-4.8.15. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.15)
27. [Release z3-4.8.16. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.16)
28. [Release z3-4.8.17. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.17)
29. [Release z3-4.9.0. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.9.0)
30. [Release z3-4.9.1. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.9.1)
31. [Release z3-4.10.0. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.10.0)
32. [Release z3-4.10.1. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.10.1)
33. [Release z3-4.10.2. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.10.2)
34. [Release 4.11.0. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0)
35. [Release 4.11.2. 2022](https://github.com/Z3Prover/z3/releases/tag/z3-4.11.2)
36. [Release 4.12.0. 2023](https://github.com/Z3Prover/z3/releases/tag/z3-4.12.0)
37. [Release 4.12.1. 2023](https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1)
38. [Release 4.12.2. 2023](https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2)
39. [Release 4.12.3. 2023](https://github.com/Z3Prover/z3/releases/tag/z3-4.12.3)
40. [Release 4.12.4. 2023](https://github.com/Z3Prover/z3/releases/tag/z3-4.12.4)
41. [Release 4.12.5. 2024](https://github.com/Z3Prover/z3/releases/tag/z3-4.12.5)
42. [Release 4.12.6. 2024](https://github.com/Z3Prover/z3/releases/tag/z3-4.12.6)
43. [Release 4.13.0. 2024](https://github.com/Z3Prover/z3/releases/tag/z3-4.13.0)
44. [Release 4.13.2. 2024](https://github.com/Z3Prover/z3/releases/tag/z3-4.13.2)
45. [Release 4.13.3. 2024](https://github.com/Z3Prover/z3/releases/tag/z3-4.13.3)
46. [Release 4.13.4. 2024](https://github.com/Z3Prover/z3/releases/tag/z3-4.13.4)
47. [Release 4.14.0. 2025](https://github.com/Z3Prover/z3/releases/tag/z3-4.14.0)
48. [Release 4.14.1. 2025](https://github.com/Z3Prover/z3/releases/tag/z3-4.14.1)
49. [Release 4.15.0. 2025](https://github.com/Z3Prover/z3/releases/tag/z3-4.15.0)
50. [Release 4.15.1. 2025](https://github.com/Z3Prover/z3/releases/tag/z3-4.15.1)