.. _solverdevel_index: Solver Developer =============================================== The integration of new SAT solvers into OptiLog is pretty straightforward, as explained in :ref:`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 :ref:`iSAT ` interface to enable the bridge to Python. .. image:: images/SolverDevel.png :width: 200px :align: center :target: javascript:void(0) .. toctree:: :maxdepth: 2 :caption: Contents: solverdevel/isat.rst solverdevel/how-add-a-new-solver.rst