Python library for program synthesis and symbolic execution combining constraint solving and LLMs
-
Updated
Mar 5, 2026 - Python
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
IBM/Mellea generative-programming workspace for structured, testable LLM workflows, ReAct-style agents, MCP demos, and evaluator loops.
Designed for automatic configuration and generation of program libraries. The module systematically searches for variation points which are specified in the program library source files.
Companion project for the TechnologyDig Academy tutorial on building reliable generative programs with Mellea.
Add a description, image, and links to the generative-programming topic page so that developers can more easily learn about it.
To associate your repository with the generative-programming topic, visit your repo's landing page and select "manage topics."