PyReason: Explainable Inference Software for Graph-Based Reasoning
2025-04-12
PyReason is a visual inference tool that uses logical rules and facts to reason over graph structures. Supporting annotated, real-valued graphs and temporal logic, it offers Python library installation, multi-core parallel support (Python 3.9 and 3.10 only), and comprehensive documentation and code examples. The software is published with a paper and licensed under trademark permission from the Arizona Board of Regents/Arizona State University.