An explainable inference software supporting annotated, real valued, graph based and temporal logic. Links 📃 Paper 📽️ Video 🌐 Website 🏋️‍♂️ PyReason Gym 🗎 Documentation Table of Contents Introduction Documentation Install Bibtex License Contact 1. Introduction PyReason is a graphical inference tool that uses a set of logical rules and facts (initial conditions) to reason over graph structures. To get more details, refer to the paper/video/hello-world-example mentioned above. 2. Documentatio...