corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a07d5d-7083-71fc-8037-c846b7ddee11

Some Silly Z3 Scripts I Wrote

Hillel Wayne · published 23 February 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at hillelwayne.com Wayback capture
2blogs citing
First cited
23 Feb 2026
Most recent
4 Sept 2026
Rank this month
not ranked
Links from this post
29
Words captured
5,614

Cited by

Blog
In the post
Date
jestoph.com
On solving the Jane Street Reverse Engineering Challenge Read at the source ↗
4 Sept 2026
Buttondown Newsletters
New Blog Post: Some Silly Z3 Scripts I Wrote Read at the source ↗
23 Feb 2026

Links from this post

Link
Host
https://leanpub.com/logic/
leanpub.com
https://pypi.org/project/z3-solver/
pypi.org
https://www.minizinc.org/
minizinc.org
https://www.hillelwayne.com/post/randomness/
hillelwayne.com
https://solvable.group/posts/secret-rng/
solvable.group
https://www.schutzwerk.com/en/blog/attacking-a-rng/
schutzwerk.com
https://github.com/Z3Prover/z3
github.com
https://www.hillelwayne.com/post/lpl/
hillelwayne.com
https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/
buttondown.com
https://smt-lib.org/theories-ArraysEx.shtml
smt-lib.org
https://buttondown.com/hillelwayne/archive/2000-words-about-arrays-and-tables/
buttondown.com
https://microsoft.github.io/z3guide/docs/theories/Bitvectors/
microsoft.github.io
https://buttondown.com/hillelwayne/archive/you-can-cheat-a-test-suite-with-a-big-enough
buttondown.com
https://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/
buttondown.com
Checking Firewall Equivalence with Z3 Read at the source ↗
ahelwer.ca
Solving regex crosswords with Z3 Read at the source ↗
blog.nelhage.com
https://github.com/hakank/hakank/tree/master/z3
github.com
https://ericpony.github.io/z3py-tutorial/guide-examples.htm
ericpony.github.io
https://microsoft.github.io/z3guide/
microsoft.github.io
https://smt-lib.org/
smt-lib.org
https://blog.nelhage.com/
blog.nelhage.com
https://buttondown.email/hillelwayne/
buttondown.email
https://leanpub.com/logic/c/wobsite-HexyEt7TTTe3
leanpub.com
https://news.ycombinator.com/item?id=47125044
news.ycombinator.com
https://z3prover.github.io/api/html/namespacez3py.html
z3prover.github.io
https://smt-lib.org/examples.shtml
smt-lib.org
https://blog.plover.com/2021/11/18/
blog.plover.com
https://github.com/logicforprogrammers/book-assets/blob/master/code/chapter-11/apy-benchmark.py
github.com
https://asibahi.github.io/thoughts/a-gentle-introduction-to-z3/
asibahi.github.io