synthesis-specification-language

# Synthesis Specification Language ## Purpose Provides expert guidance on defining specifications for program synthesis using examples, logic, or sketches. ## Capabilities - Input-output example specification - Logical specification (pre/post conditions) - Sketch-based specification - Natural language to specification - Specification validation - Ambiguity detection ## Usage Guidelines 1. **Paradigm Selection**: Choose specification paradigm 2. **Specification Writing**: Write formal specification 3. **Validation**: Validate specification for completeness 4. **Disambiguation**: Resolve specification ambiguities 5. **Integration**: Connect to synthesis engines ## Tools/Libraries - SyGuS format - Sketch - Rosette - FlashFill