Show HN: Holey: Staged execution from Python to SMT for synthesis #1 Post by namin » Mon, Jan 12, 2026, 7:16 PM UTC Show HN: Holey: Staged execution from Python to SMT for synthesisgithub.com