"""
AMC: Agentic Model Checking

LLM agents generate formal specs for C functions, CBMC compositionally
verifies each function against its spec, and an agentic counterexample
confirmation pipeline classifies verdicts as real bugs, spurious, or unresolved.
"""

__version__ = "0.1.0"
__all__ = [
    "config",
    "llm",
    "cbmc",
    "parser",
    "spec",
    "artifacts",
    "logger",
]