CVC4SY

MaRDI QIDQ5972687swMATHFDO

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

Described by source

• Syntax-guided rewrite rule enumeration for SMT solvers

Cited in

(18)

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

This page was built for software: CVC4SY