agent\_logic
============

.. automodule:: agent_logic

   
.. rubric:: Modules

.. autosummary::
   :toctree:
   :recursive:

   cli
   core
   evaluation
   models
   parsing
   proofs
   transformations
   utils