SMT Solver Interface

Purpose

Provides expert guidance on using SMT solvers for automated reasoning, verification, and program synthesis.

Capabilities

• Z3 query generation
• CVC5 interface
• Theory selection guidance
• Model extraction
• Unsat core analysis
• Incremental solving

Usage Guidelines