Synthesizing Loop-Free Programs with Rust and Z3 (2020)

Automated excerpt

Each component specification comes with how many inputs it takes (e. g. an add(a, b) component takes two inputs, and a component’s inputs to its output. The component inputs, output, and expression \(i^\mathrm{th}\) component’s inputs with its output. There do exist other approaches to program synthesis synthesis.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.