conversions
===========
.. toctree::

   conversions/clingo
   conversions/external
   conversions/internal