Solver Developer

The integration of new SAT solvers into OptiLog is pretty straightforward, as explained in How to create a module for a new solver. The Developer just has to put the solver code within OptiLog’s folder structure and implement the iSAT interface to enable the bridge to Python.

Contents:

• iSAT Interface
  • iSAT class
  • Solver states and Variables values
• How to add a new solver to OptiLog
  • Implementing the iSAT interface
  • The Linking Functions
  • Compiling as a library
  • Loading the solver