Hacker News new | ask | show | jobs
by gsnedders 4099 days ago
SLAM2 uses Z3 for a few things, AIUI.