主要观点：介绍了 PyReason 这一可解释推理软件，包括支持的逻辑类型、相关链接（论文、视频、网站等）、安装方法、Bibtex 引用、许可证及联系方式等。
关键信息：

• 是支持注释、实值、基于图和时态逻辑的推理软件。
• 可通过 pip 安装，支持 Python 3.7、3.8、3.9、3.10 版本，多核心并行支持仅 3.9 和 3.10 版本。
• 相关链接有论文[https://arxiv.org/abs/2302.13482]、视频[https://www.youtube.com/watch...]、网站[https://pyreason-staging.site...]、PyReason Gym[https://github.com/lab-v2/pyr...]、文档[https://pyreason.readthedocs....]。
• Bibtex 引用格式为@inproceedings{aditya_pyreason_2023,...}。
• 软件基于[BSD-2-Clause]许可证，PyReason™和 PyReason Design Logo 是亚利桑那州立大学的商标，用户可在相关情况下使用。
• 联系方式有 Dyuman Aditya - [mailto:daditya@syr.edu]、Kaustuv Mukherji - [mailto:kmukherj@syr.edu]、Paulo Shakarian - [mailto:pashakar@syr.edu]。