HerbSearch.jl

Search procedures and synthesizers for Herb.jl
Author Herb-AI
Popularity
7 Stars
Updated Last
4 Months Ago
Started In
December 2022

codecov Build Status Dev-Docs

HerbSearch.jl

This package contains search procedure implementations for the Herb Program Synthesis framework.

For full documentation please see the Herb.jl documentation.

Getting started

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()'

Used By Packages