PyReason：基于图的解释性推理软件

PyReason是一个使用逻辑规则和事实对图结构进行推理的可视化工具。它支持带注释的实值图和时态逻辑，提供Python库安装、多核并行支持（仅限Python 3.9和3.10版本），以及详细的文档和代码示例。该软件已发表论文，并获得亚利桑那州管理委员会/亚利桑那州立大学的商标许可。