Approaches for Synthesis Conjectures in an SMT Solver

Andrew Reynolds

This report describes several approaches for handling synthesis conjectures within an Satisfiability Modulo Theories (SMT) solver. We describe approaches that primarily focus on de…