Pre-release

This release is a pre-release and may not be stable for production use.

Python 3.9 Python 3.10 Python 3.11 Python 3.12 Python 3.13 Documentation Status pypi Tests

An explainable inference software supporting annotated, real valued, graph based and temporal logic.

Links

📃 Paper

📽️ Video

🌐 Website

🏋️‍♂️ PyReason Gym

🗎 Documentation

Table of Contents

  1. Introduction
  2. Documentation
  3. Install
  4. Bibtex
  5. License
  6. 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. Documentation

All API documentation and code examples can be found on ReadTheDocs

3. Install

PyReason can be installed as a python library using

pip install pyreason

The Python versions that are currently supported are 3.9, 3.10, 3.11, 3.12, and 3.13.

4. Bibtex

If you used this software in your work please cite our paper

Bibtex:

@inproceedings{aditya_pyreason_2023,
title = {{PyReason}: Software for Open World Temporal Logic},
booktitle = {{AAAI} Spring Symposium},
author = {Aditya, Dyuman and Mukherji, Kaustuv and Balasubramanian, Srikar and Chaudhary, Abhiraj and Shakarian, Paulo},
year = {2023}}

5. License

This repository is licensed under BSD-2-Clause.

Trademark Permission PyReason™ and PyReason Design Logo ™ 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 ™ for non-commercial purposes.

6. Contact

Colton Payne - crpayne@syr.edu

Kaustuv Mukherji - kmukherj@syr.edu

Paulo Shakarian - pashakar@syr.edu

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Stable release available (3.7.0)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for dyumanaditya from gravatar.com dyumanaditya

Credits

Author: Dyuman Aditya

License

BSD License (BSD 3-clause)

Requires

Python <3.14, >=3.9

Classifiers

Report project as malware

Metadata

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Stable release available (3.7.0)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for dyumanaditya from gravatar.com dyumanaditya

Credits

Author: Dyuman Aditya

License

BSD License (BSD 3-clause)

Requires

Python <3.14, >=3.9

Classifiers

Report project as malware

Release files for pyreason 4.0.0b3

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for pyreason 4.0.0b3
File Size Uploaded
pyreason-4.0.0b3.tar.gz 9.7 MB Details

Built distribution (wheel)

Table of built distributions (wheels) for pyreason 4.0.0b3
File Interpreter ABI Platform
pyreason-4.0.0b3-py3-none-any.whl 227.1 kB Python 3 none any Details

Total release size: 9.9 MB

Release files / pyreason-4.0.0b3.tar.gz

Download URL pyreason-4.0.0b3.tar.gz
Size 9.7 MB
Tags Source
SHA-256 checksum
How to use checksums 		a7b622eb686a9a85348d7998022f4c19a69451512ae583456bde3de8ee6dbabe
BLAKE2b-256 checksum
How to use checksums 		db7643e25e135117bf4b939934879bbf31f5a170e8ad6f954b0ac3fbd0ba9e87
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/6.2.0 CPython/3.9.25

Release files / pyreason-4.0.0b3-py3-none-any.whl

Download URL pyreason-4.0.0b3-py3-none-any.whl
Size 227.1 kB
Tags Python 3
SHA-256 checksum
How to use checksums 		b5d8d8c140a5d5ed88e6303ada44e033f225c0b8b80eacd8ac2afc87621bd5de
BLAKE2b-256 checksum
How to use checksums 		cae0c13cf427bbce4ddc8c492c69ddc29efa490cf77664601f9fca6adae65a51
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/6.2.0 CPython/3.9.25

Release history Release notifications | RSS feed

This release
Pre-release

4.0.0b3 This release

2 release files

Pre-release

4.0.0b2

2 release files

Pre-release

4.0.0b1

2 release files

3.7.0

2 release files

3.6.0

2 release files

3.5.1

2 release files

3.5.0

2 release files

3.4.0

2 release files

3.3.0

2 release files

3.2.0

2 release files

3.1.0

2 release files

3.0.4

2 release files

3.0.3

2 release files

3.0.2

2 release files

3.0.1

2 release files

3.0.0

2 release files

2.3.0

2 release files

2.2.1

2 release files

2.2.0

2 release files

2.1.1

2 release files

2.1.0

2 release files

2.0.4

2 release files

2.0.3

2 release files

2.0.2

2 release files

2.0.1

2 release files

2.0.0

2 release files

1.8.12

2 release files

1.8.11

2 release files

1.8.10

2 release files

1.8.9

2 release files

1.8.8

2 release files

1.8.7

2 release files

1.8.6

2 release files

1.8.5

2 release files

1.8.4

2 release files

1.8.3

2 release files

1.8.2

2 release files

1.8.1

2 release files

1.6.4

2 release files

1.6.3

2 release files

1.6.2

2 release files

1.6.1

2 release files

1.6.0

2 release files

1.5.3

2 release files

1.5.2

2 release files

1.5.1

2 release files

1.5.0

2 release files

1.4.2

2 release files

1.4.1

2 release files

1.4.0

2 release files

1.3.0

2 release files

1.2.9

2 release files

1.2.8

2 release files

1.2.7

2 release files

1.2.6

2 release files

1.2.5

2 release files

1.2.4

2 release files

1.2.3

2 release files

1.2.2

2 release files

1.2.1

2 release files

1.2.0

2 release files

1.1.4

2 release files

1.1.3

2 release files

1.1.2

2 release files

1.1.1

2 release files

1.1.0

2 release files

1.0.1

2 release files

1.0.0

2 release files

0.1.1

2 release files

0.1.0

2 release files

0.0.27

2 release files

0.0.26

2 release files

0.0.25

2 release files

0.0.24

2 release files

0.0.23

2 release files

0.0.22

2 release files

0.0.21

2 release files

0.0.20

2 release files

0.0.19

2 release files

0.0.18

2 release files

0.0.17

2 release files

0.0.16

2 release files

0.0.15

2 release files

0.0.14

2 release files

0.0.13

2 release files

0.0.12

2 release files

0.0.11

2 release files

0.0.10

2 release files

0.0.9

2 release files

0.0.8

2 release files

0.0.7

2 release files

0.0.6

1 release file

0.0.4

2 release files

0.0.3

2 release files

0.0.2

2 release files

0.0.1

2 release files

0.0.0

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page