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

4 points | by namin 9 hours ago