Integrate UCI solvers into optimizer
apfeffer opened this issue · comments
Need to:
- Kalev needs to provide separate runtime that just gives complexity
- Check whether solver is present to see if it should be considered
- Calibrate complexity to specific machine so optimizer can make decisions about runtime