Hacker News new | ask | show | jobs
by Jtsummers 559 days ago
https://theory.stanford.edu/~nikolaj/programmingz3.html - This one was useful for me to get started with it a while ago.