Hacker News new | ask | show | jobs
by Rexxar 1 day ago
Did you use something like Z3 to solve/create the problems ?