Welcome to EFMC's documentation
====================================

.. toctree::
   :maxdepth: 2
   :caption: Contents:

   
   verification
   absint
   ltl
   abduction
   kinduction
   predabs
   synthesis
   template
   polyhorn
   third-party
   houdini
   ranking_functions
   verification-tutorial


Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`