Skip to content

Add BalanceHeuristicExpand, 1.7x faster search.#129

Closed
schneems wants to merge 1 commit intomainfrom
schneems/balanced-lex-expansion
Closed

Add BalanceHeuristicExpand, 1.7x faster search.#129
schneems wants to merge 1 commit intomainfrom
schneems/balanced-lex-expansion

Commits

Commits on Jan 17, 2022