namin/holey

Python library for program synthesis and symbolic execution combining constraint solving and LLMs

PythonStars 32Forks 4Watchers 32Open issues 5License MIT License

Details

仓库信息

Ownernamin

Homepage—

Last pushed2025-12-09

Last updated2025-12-14

Issues fetched at—

Community at a glance