Python library for program synthesis and symbolic execution combining constraint solving and LLMs - View it on GitHub