Welcome to PyReason Docs!

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.

Contents:

• About PyReason
• Installation
• Understanding Key Concepts
• User Guide
• Tutorials
• License
• API Reference

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

• Index

• Module Index

• Search Page