===========
Code
===========

algorithms
-----------

.. automodule:: inference_logic.algorithms
   :members:


data structures
---------------

.. automodule:: inference_logic.data_structures
   :members:


equality
--------

.. automodule:: inference_logic.equality
   :members: