Hacker News new | ask | show | jobs
by zzleeper 4085 days ago
I had no clue that Z3 could be used for that..