Z3Prover/z3

The Z3 Theorem Prover

304 best points · 97 comments · 12 Hacker News posts · 12,888 GitHub stars · View on GitHub

Hacker News discussions

• The Z3 Theorem Prover released under MIT license (304 points, 66 comments, by dahlia, 2015-03-26)
• The Z3 Theorem Prover (137 points, 29 comments, by ____Sash---701_, 2019-06-01)
• The Z3 Theorem Prover (35 points, 2 comments, by benoitg, 2025-12-10)
• Z3 (6 points, 0 comments, by tosh, 2018-08-17)
• Microsoft: The Z3 Theorem Prover (3 points, 0 comments, by tosh, 2017-05-18)
• Z3 (3 points, 0 comments, by tosh, 2018-10-30)
• Z3 Theorem Prover (3 points, 0 comments, by klaussilveira, 2025-06-23)
• Show HN: The Z3 theorem can now be built using CMake (2 points, 0 comments, by delcypher, 2016-03-07)
• Z3 Theorem Prover (2 points, 0 comments, by okl, 2024-10-18)
• Change of Z3 license (1 points, 0 comments, by pascal_cuoq, 2015-03-26)
• Z3 (1 points, 0 comments, by tosh, 2018-05-22)
• Z3 (1 points, 0 comments, by tosh, 2021-02-13)