Closed SriMethan closed 2 years ago
Some engine parameters need to be set before the init command (e.g. the parameters about bitbases).
Some engine parameters need to be set before the init command (e.g. the parameters about bitbases).