.. _use-cases:

Use Cases
=========

Here we show a set of use-cases that use the OptiLog Python library.

.. toctree::
    :maxdepth: 1

    use-cases/slitherlink.rst
    use-cases/max-competition.rst
    use-cases/sat-competition.rst