ConcoLLMic: Agentic Concolic Execution

ConcoLLMic is the first language- and theory-agnostic concolic executor powered by LLM agents.

Please visit https://github.com/ConcoLLMic/ for more information.