Search results

get_costs -> HerbGrammar or HerbCore

Status: Open.

#186 In Herb-AI/HerbSearch.jl;

· ReubenJ opened on Mar 20, 2026

Add check for negative costs + reference to HerbSearch.get_costs into CostBasedBottomUpIterator

Status: Open.

#185 In Herb-AI/HerbSearch.jl;

· THinnerichs opened on Mar 19, 2026

Update EU Solver to use the new generated interpret function

Status: Open.

#184 In Herb-AI/HerbSearch.jl;

· THinnerichs opened on Mar 19, 2026

Revive Stochastic + Genetic iterators

Status: Open.

#183 In Herb-AI/HerbSearch.jl;

· THinnerichs opened on Mar 18, 2026

Document ASP iterators

Status: Open.

#180 In Herb-AI/HerbSearch.jl;

· ReubenJ opened on Feb 18, 2026

BUS complaints/wishes

enhancementNew feature or requestNew feature or request

Status: Open.

#179 In Herb-AI/HerbSearch.jl;

· ReubenJ opened on Feb 18, 2026

Iteration order in top-down iterators depends on PriorityQueue tie-breaking behavior

bugSomething isn't workingSomething isn't working

Status: Open.

#167 In Herb-AI/HerbSearch.jl;

· ReubenJ opened on Dec 22, 2025

@programiterator docstrings

Status: Open.

#157 In Herb-AI/HerbSearch.jl;

· ReubenJ opened on Oct 30, 2025

Search combinators

Status: Open.

#156 In Herb-AI/HerbSearch.jl;

· ReubenJ opened on Sep 17, 2025

Use JuLS for stochastic search?

Status: Open.

#155 In Herb-AI/HerbSearch.jl;

· sebdumancic opened on Sep 16, 2025

Divide-and-conquer discussion

Status: Open.

#153 In Herb-AI/HerbSearch.jl;

· pwochner opened on Jul 17, 2025

addconstraint! for ProgramIterators

enhancementNew feature or requestNew feature or request

Status: Open.

#149 In Herb-AI/HerbSearch.jl;

· ReubenJ opened on May 19, 2025