HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by ampdepolymerase | Hacker News Reader
Parent
Full thread
ampdepolymerase
·
The secret solution is called Z3.
View on HN
ganzuul
·
This?
https://github.com/z3prover/z3
What is secret about it?
Reply on news.ycombinator.com