Z3Prover/z3
View on GitHub ↗ ★ 12,873 C++
The Z3 Theorem Prover
48 mentions on Hacker News by 42 people: 14 stories, 34 comments · first 2015-03-26 · latest 2026-04-18
20082026
-
▲ 5
Show HN: Sigil – A new programming language for AI agentsstory by inerte · 2026-04-05 · 5 comments
-
▲ 35
The Z3 Theorem Proverstory by benoitg · 2025-12-10 · 2 comments
-
▲ 3
Z3 Theorem Proverstory by klaussilveira · 2025-06-23 · 0 comments
-
▲ 2
Z3 Theorem Proverstory by okl · 2024-10-18 · 0 comments
-
▲ 213
Show HN: Allocate poker chips optimally with mixed-integer nonlinear programmingstory by jstrieb · 2024-06-04 · 69 comments
-
▲ 1
Z3story by tosh · 2021-02-13 · 0 comments
-
▲ 137
The Z3 Theorem Proverstory by ____Sash---701_ · 2019-06-01 · 29 comments
-
▲ 3
Z3story by tosh · 2018-10-30 · 0 comments
-
▲ 6
Z3story by tosh · 2018-08-17 · 0 comments
-
▲ 1
Z3story by tosh · 2018-05-22 · 0 comments
-
▲ 3
Microsoft: The Z3 Theorem Proverstory by tosh · 2017-05-18 · 0 comments
-
▲ 2
Show HN: The Z3 theorem can now be built using CMakestory by delcypher · 2016-03-07 · 0 comments
-
▲ 1
Change of Z3 licensestory by pascal_cuoq · 2015-03-26 · 0 comments
-
▲ 304
The Z3 Theorem Prover released under MIT licensestory by dahlia · 2015-03-26 · 66 comments