GitHub repository: metareflection-devin/holey
Description: Python library for program synthesis and symbolic execution combining constraint solving and LLMs