GitHub repository: namin/holey
Primary language: Python
Created: 2025-02-01T02:39:00Z
Description: Python library for program synthesis and symbolic execution combining constraint solving and LLMs