Giters

Herb-AI / HerbSearch.jl

Search procedures and synthesizers for Herb.jl

Home Page:https://herb-ai.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Remove `search_best`

Whebon opened this issue · comments

commented

Merge search and a search_best into a single function.
It should return a tuple containing:

  • program
  • flag indicating if the solution is optimal (all examples are satisfied) or partially solved. That is the found solution is the best the synthesizer could find, given the stopping criteria. It only satisfies a strict subset of the examples.