Hacker News new | ask | show | jobs
Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com)
4 points by namin 153 days ago