.. _solver_problem:

idp_engine.Theory
=========================

.. automodule:: idp_engine.Theory
   :members:
   :noindex: