.. highlight:: java
   :linenothreshold: 4


############################################################################
DDOLib: Decision Diagram Optimisation Library
############################################################################

.. toctree::
   :maxdepth: 2

   intro
   concepts
   knapsack
   solvers
   allmodels


.. Indices and tables
.. ==================

.. * :ref:`genindex`
.. * :ref:`modindex`
.. * :ref:`search`