Pre-release

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

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.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.10

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.10

Classifiers

Report project as malware

Release files for pyreason 4.0.0b2

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.0b2
File Size Uploaded
pyreason-4.0.0b2.tar.gz 9.7 MB Details

Built distribution (wheel)

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

Total release size: 9.9 MB

Release files / pyreason-4.0.0b2.tar.gz

Download URL pyreason-4.0.0b2.tar.gz
Size 9.7 MB
Tags Source
SHA-256 checksum
How to use checksums 		093a19c54ef4150104d32a884b785285923745e6cd2a50fc3359389f7005f942
BLAKE2b-256 checksum
How to use checksums 		30055b7bf6aff73770f757f1ffcf1f14891752130b0561d503706c7db212877c
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.0b2-py3-none-any.whl

Download URL pyreason-4.0.0b2-py3-none-any.whl
Size 227.0 kB
Tags Python 3
SHA-256 checksum
How to use checksums 		449b3badd6c53eead72458fded9604c4c0b54e90bee15db28a41a430a5d76f59
BLAKE2b-256 checksum
How to use checksums 		f32327dfa57cb7c093cc18b225e35fe10a34d023173f3e77feb7a5499d88a9b9
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.0b2 This release

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