This package contains search procedure implementations for the Herb Program Synthesis framework.
For full documentation please see the Herb.jl documentation.
For a quick tutorial on how to get started with using HerbSearch.jl have a look at our introductory tutorial or Advanced search procedures.
If you want to help developing this project, initialize the project with
julia --project=. -e 'using Pkg; Pkg.instantiate()'