Demo of Herb.jl: A Fast and Efficient Program Synthesis Library
Herb.jl is a modular library for program synthesis written in Julia. It decomposes synthesizers into reusable components and provides standardized benchmarks, enabling rapid prototyping, fair comparison, and easier combination of ideas. Our demonstration shows this workflow end to end, from grammars and constraints to benchmarks such as SyGuS, ARC, and Minecraft.