Add argument in search procedure for evaluator
jaapdejong15 opened this issue · comments
Jaap de Jong commented
Search procedure should also take an evaluator function, so that users can provide a custom evaluator.
Search procedures and synthesizers for Herb.jl
jaapdejong15 opened this issue · comments
Search procedure should also take an evaluator function, so that users can provide a custom evaluator.