Show HN: Holey: Staged execution from Python to SMT for synthesis

4 points| namin | 1 month ago |github.com