Closed deKeijzer closed 1 year ago
Hi there!
In engine.py there are three uses of out.console(...) within search(), can this output be made into a toggle? It should be relatively easy and it would avoid console spam when using the search engine in e.g. a tqdm loop.
Bests
Sorry for the late reply, I somehow missed this issue. What you propose makes sense, and I plan to implement it as soon as I have the time. Thanks
Came here to ask for the same <3
Hi there!
In engine.py there are three uses of out.console(...) within search(), can this output be made into a toggle? It should be relatively easy and it would avoid console spam when using the search engine in e.g. a tqdm loop.
Bests