Formulations
============

.. automodule:: newclid.formulations
   :members:
   :show-inheritance:
   :undoc-members:

----------

.. toctree::
   :maxdepth: 4

   newclid.formulations.clause
   newclid.formulations.definition
   newclid.formulations.problem
   newclid.formulations.rule