Hacker News new | ask | show | jobs
by raphman 209 days ago
"SAT/SMT by Example" also contains many Z3 examples (and has a new URL): https://smt.st/