.. Pyreason documentation master file, created by
   sphinx-quickstart on Sun Feb 25 20:15:52 2024.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to PyReason Docs!
====================================

.. image:: _static/pyreason_logo.jpg
   :alt: PyReason Logo
   :align: center

Introduction
------------
Welcome to the documentation for **PyReason**, a powerful, optimized Python tool for Reasoning over Graphs. PyReason supports a variety of Logics such as Propositional, First Order, Annotated. This documentation will guide you through the installation, usage and API.

.. toctree::
   :maxdepth: 1
   :caption: Contents:

   about
   installation
   key_concepts
   user_guide/index
   tutorials/index
   license



Getting Help
------------
If you encounter any issues or have questions, feel free to check our Github, or contact one of the authors (`dyuman.aditya@asu.edu`, `kmukher2@asu.edu`).

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

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