Some silly Z3 scripts I wrote

by azhenley | View on Hacker News