Integrate UCI solvers into optimizer

charles-river-analytics / figaro

Figaro Programming Language and Core Libraries

Other

756 stars 151 forks source link

Open apfeffer opened 7 years ago

apfeffer commented 7 years ago

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