Show HN: Holey: Staged execution from Python to SMT for synthesis(github.com)4 points·by namin·vor 6 Monaten·0 commentsgithub.comShow HN: Holey: Staged execution from Python to SMT for synthesishttps://github.com/namin/holey0 commentsPost comment—