{"id":45181887,"url":"https://github.com/lab-v2/pyreason","last_synced_at":"2026-04-07T07:50:42.735Z","repository":{"id":61841925,"uuid":"555671241","full_name":"lab-v2/pyreason","owner":"lab-v2","description":"An explainable inference software supporting annotated, real valued, graph based and temporal logic ","archived":false,"fork":false,"pushed_at":"2026-04-05T14:40:45.000Z","size":18764,"stargazers_count":334,"open_issues_count":32,"forks_count":32,"subscribers_count":13,"default_branch":"main","last_synced_at":"2026-04-05T16:23:33.391Z","etag":null,"topics":["logic","logic-programming","machine-learning","neurosymbolic","python","temporal-logic"],"latest_commit_sha":null,"homepage":"https://pyreason.syracuse.edu/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/lab-v2.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"contributing.md","funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-10-22T03:45:47.000Z","updated_at":"2026-03-31T22:23:31.000Z","dependencies_parsed_at":"2023-11-18T18:25:12.766Z","dependency_job_id":"279957c1-0214-49d6-be96-d52611b762f3","html_url":"https://github.com/lab-v2/pyreason","commit_stats":{"total_commits":244,"total_committers":5,"mean_commits":48.8,"dds":"0.032786885245901676","last_synced_commit":"c7d096c64f5aa28d3309a3b1589281696612b294"},"previous_names":[],"tags_count":93,"template":false,"template_full_name":null,"purl":"pkg:github/lab-v2/pyreason","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lab-v2%2Fpyreason","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lab-v2%2Fpyreason/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lab-v2%2Fpyreason/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lab-v2%2Fpyreason/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lab-v2","download_url":"https://codeload.github.com/lab-v2/pyreason/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lab-v2%2Fpyreason/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31504897,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-07T03:10:19.677Z","status":"ssl_error","status_checked_at":"2026-04-07T03:10:13.982Z","response_time":105,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["logic","logic-programming","machine-learning","neurosymbolic","python","temporal-logic"],"created_at":"2026-02-20T10:00:30.865Z","updated_at":"2026-04-07T07:50:42.724Z","avatar_url":"https://github.com/lab-v2.png","language":"Python","readme":"\u003cimg src=\"https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg\"/\u003e\n\n[![Python 3.9](https://img.shields.io/badge/python-3.9-blue.svg)](https://www.python.org/downloads/release/python-390/)\n[![Python 3.10](https://img.shields.io/badge/python-3.10-blue.svg)](https://www.python.org/downloads/release/python-3100/)\n[![Documentation Status](https://readthedocs.org/projects/pyreason/badge/?version=latest)](https://pyreason.readthedocs.io/en/latest/?badge=latest)\n[![pypi](https://github.com/lab-v2/pyreason/actions/workflows/python-publish.yml/badge.svg)](https://github.com/lab-v2/pyreason/actions/workflows/python-publish.yml)\n[![Tests](https://github.com/lab-v2/pyreason/actions/workflows/python-package-version-test.yml/badge.svg)](https://github.com/lab-v2/pyreason/actions/workflows/python-package-version-test.yml)\n\n\nAn explainable inference software supporting annotated, real valued, graph based and temporal logic.\n\n## Links\n[📃 Paper](https://arxiv.org/abs/2302.13482)\n\n[📽️ Video](https://www.youtube.com/watch?v=E1PSl3KQCmo)\n\n[🌐 Website](https://pyreason.syracuse.edu/)\n\n[🏋️‍♂️ PyReason Gym](https://github.com/lab-v2/pyreason-gym)\n\n[🗎 Documentation](https://pyreason.readthedocs.io/en/latest/)\n\n\n## Table of Contents\n\n1. [Introduction](#1-introduction)\n2. [Documentation](#2-documentation)\n3. [Install](#3-install)\n4. [Bibtex](#4-bibtex)\n5. [License](#5-license)\n6. [Contact](#6-contact)\n\n\n## 1. Introduction\nPyReason 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.\n \n## 2. Documentation \nAll API documentation and code examples can be found on [ReadTheDocs](https://pyreason.readthedocs.io/en/latest/)\n\n## 3. Install\nPyReason can be installed as a python library using\n\n```bash\npip install pyreason\n```\nThe Python versions that are currently supported are `3.7`, `3.8`, `3.9`, `3.10`. If you want multi-core parallel support only `3.9` and `3.10` versions work due to limited numba support.\n\n## 4. Bibtex\nIf you used this software in your work please cite our paper\n\nBibtex:\n```\n@inproceedings{aditya_pyreason_2023,\ntitle = {{PyReason}: Software for Open World Temporal Logic},\nbooktitle = {{AAAI} Spring Symposium},\nauthor = {Aditya, Dyuman and Mukherji, Kaustuv and Balasubramanian, Srikar and Chaudhary, Abhiraj and Shakarian, Paulo},\nyear = {2023}}\n```\n\n## 5. License\nThis repository is licensed under [BSD-2-Clause](https://github.com/lab-v2/pyreason/blob/main/LICENSE.md).\n\nTrademark Permission PyReason™ and PyReason Design Logo \u003cimg src=\"https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg\" width=\"50\"/\u003e™ are trademarks of the Arizona Board of Regents/Arizona State University. Users of the software are permitted to use PyReason™ in association with the software for any purpose, provided such use is related to the software (e.g., Powered by PyReason™). Additionally, educational institutions are permitted to use the PyReason Design Logo \u003cimg src=\"https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg\" width=\"50\"/\u003e™ for non-commercial purposes.\n\n\n## 6. Contact\nColton Payne - crpayne@syr.edu\n\nKaustuv Mukherji - kmukherj@syr.edu\n\nPaulo Shakarian - pashakar@syr.edu\n","funding_links":[],"categories":["Python"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flab-v2%2Fpyreason","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flab-v2%2Fpyreason","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flab-v2%2Fpyreason/lists"}