Constraint-based Program Synthesis

SKETCH

Programming language that allows specifying partial programs with holes to be automatically filled. Uses SMT solvers to find the optimal values for the holes.

← Geri