search

charles-river-analytics / figaro

Figaro Programming Language and Core Libraries
Other
757 stars 153 forks source link

Document use of UCI and third party solvers in Figaro #707

Open apfeffer opened 7 years ago

apfeffer commented 7 years ago

Add material to tutorial explaining how users can use the UCI solvers. Also show how this approach can be a blueprint for integrating other third-party solvers.

apfeffer commented 7 years ago

We've made a decision not to distribute the solvers directly with Figaro, so we need to explain how to integrate with them.