corpus.blog
41,554 blogs · 5,225,211 posts Claim your blog
Record · corpus.blog/posts/01a07d5d-6106-7330-a368-9a756b9797fc

Solving regex crosswords with Z3

Nelson Elhage · published 21 October 2025

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 blog.nelhage.com Wayback capture
3blogs citing
First cited
23 Feb 2026
Most recent
9 Sept 2026
Rank this month
not ranked
External links
27
Words captured
5,506

Cited by

Blog
In the post
Date
pliutau.com
Reading List Read at the source ↗
9 Sept 2026
danielalp.com
Solving Regex Crosswords Without Z3 Read at the source ↗
6 Mar 2026
Hillel Wayne
Some Silly Z3 Scripts I Wrote Read at the source ↗
23 Feb 2026

Links from this post

Link
Host
https://microsoft.github.io/z3guide/
microsoft.github.io
https://en.wikipedia.org/wiki/Satisfiability_modulo_theories
en.wikipedia.org
https://regexle.com/
regexle.com
https://github.com/nelhage/nelhage-sandbox/tree/main/regexle
github.com
https://en.wikipedia.org/wiki/Regular_expression
en.wikipedia.org
https://en.wikipedia.org/wiki/Regular_language
en.wikipedia.org
https://qntm.org/
qntm.org
https://github.com/qntm/greenery
github.com
https://github.com/qntm/greenery?tab=readme-ov-file
github.com
https://microsoft.github.io/z3guide/docs/logic/Uninterpreted-functions-and-constants
microsoft.github.io
https://ceur-ws.org/Vol-4008/SMT_paper21.pdf
ceur-ws.org
https://regexle.com/?side=3&day=458
regexle.com
A Mathematical Framework for Transformer Circuits Read at the source ↗
transformer-circuits.pub
https://github.com/qntm/greenery/blob/e55c96712677d56ef14664a1595a47fb7f26bc01/greenery/fsm.py
github.com
https://smt-lib.org/papers/smt-lib-reference-v2.7-r2025-07-07.pdf
smt-lib.org
https://microsoft.github.io/z3guide/docs/strategies/summary
microsoft.github.io
https://z3prover.github.io/papers/programmingz3.html
z3prover.github.io
https://microsoft.github.io/z3guide/docs/theories/Datatypes
microsoft.github.io
https://z3prover.github.io/api/html/namespacez3py.html
z3prover.github.io
https://microsoft.github.io/z3guide/docs/theories/Regular%20Expressions
microsoft.github.io
https://github.com/nelhage/nelhage-sandbox/blob/main/regexle/src/regexle/z3_re.py
github.com
https://microsoft.github.io/z3guide/docs/strategies/tactics
microsoft.github.io
https://github.com/AliveToolkit/alive2
github.com
https://z3prover.github.io/papers/z3internals.html
z3prover.github.io
https://z3prover.github.io/api/html/classz3py_1_1_context.html
z3prover.github.io
https://www.hillelwayne.com/
hillelwayne.com
https://microsoft.github.io/z3guide/programming/Parameters
microsoft.github.io