Prefer a chat interface with context about you and your work?
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories
We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for the automatic composition of software components from a user-specified repository. The framework yields a tree grammar that contains all composed terms that …