SyGuS Solvers Synthesis Tools 49 SYNTH-LIB Standardized Interchange Format Problem classification + Benchmark repository + Solvers competition Program optimization Program sketching Programming by examples Invariant generation Potential Techniques for Solvers: Learning, Constraint solvers, Enumerative/stochastic search Little engines of synthesis
{}