RocketRace/easy_z3

Using z3's never been easier (maybe)

20 best points · 1 comments · 1 Hacker News post · 102 GitHub stars · View on GitHub

Hacker News discussions

• Z3 Made Unreasonably Easy (20 points, 1 comments, by todsacerdoti, 2021-08-18)