The SemGuS Toolkit

Keith J.C. Johnson,Andrew Reynolds,Thomas Reps,Loris D'Antoni
2024-06-04
Abstract:Semantics-Guided Synthesis (SemGuS) is a programmable framework for defining synthesis problems in a domain- and solver-agnostic way. This paper presents the standardized SemGuS format, together with an open-source toolkit that provides a parser, a verifier, and enumerative SemGuS solvers. The paper also describes an initial set of SemGuS benchmarks, which form the basis for comparing SemGuS solvers, and presents an evaluation of the baseline enumerative solvers.
Programming Languages
What problem does this paper attempt to address?