Our readingWhat is a korrent?
When a tool has first-class, native support for a problem domain, that is the best place to start before building a custom encoding.
Drawn from what Nelson Elhage said
Subjectdeveloper tools
What Nelson Elhage actually said
- Nelson Elhage Software engineer who writes the blog Made of Bugs about performance
I suspect the pattern generalizes: If Z3 has first-class support for your problem domain, it's worth starting there!
Where this was said
↗Solving regex crosswords with Z3blog.nelhage.com
All 2 korrents from this piecethis one is 2nd
Added to korrents 20 Sept 2026 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
I hold this tooRelated korrents
Shared subject first, then similar wording. They may agree or disagree.