CVC4SY

swMATH46003MaRDI QIDQ5972687FDOQ5972687

Author name not available (Why is that?)

Official website: http://homepage.divms.uiowa.edu/~ajreynol/cav19b.pdf

Described by source

• Syntax-guided rewrite rule enumeration for SMT solvers

Cited In (17)

• Code2Inv
• Supercharging plant configurations using Z3
• On solving quantified bit-vector constraints using invertibility conditions
• Towards satisfiability modulo parametric bit-vectors
• OPTGEN
• Satisfiability and synthesis modulo oracles
• AsmL
• JViews
• FALCON
• SyPet
• Rosette
• TRANSIT
• AGES
• SMTCoq
• Texada
• CLN2INV
• Nunchaku

This page was built for software: CVC4SY