solvers
=======
.. toctree::

   solvers/declarative
   solvers/imperative