threadpool options, bug fixes#27

Merged

igorbenav merged 1 commit intomainfrom

threadpool-size-options

Oct 28, 2023

Commits on Oct 28, 2023

bigger threadpool by default, easier option to change the number of tokens. Fixed a few bugs of the previous update. Packages updated
igorbenav
committed