Show HN: Holey: Staged execution from Python to SMT for synthesisgithub.com/namin4 pointsnamin5 months ago