.. _enduser_index: End-user OptiLog API =============================================== .. image:: images/EndUser.png :width: 350px :align: center :target: javascript:void(0) The functionality of OptiLog is divided in seven main modules. The user can model problems, load and manipulate Boolean formulas, encode Pseudo-Boolean and Cardinality constraints, call different SAT solvers, automatically configure functions, run experiments, and encapsulate external applications in black-boxes to be used in python. .. toctree:: :maxdepth: 2 :caption: Contents: modelling.rst formula.rst encoders.rst solvers.rst tuning.rst running.rst blackbox.rst