Factual package intelligence from PyPI

py-aiger-ptltl 3.1.2 package intelligence

Library for generating (p)ast (t)ense (l)inear (t)emporal (l)ogic monitors as aiger circuits.

pip install py-aiger-ptltl

Current version
3.1.2
Python requirement
>=3.7,<4.0
License
MIT
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
9.9 KiB
Release history
11 releases with files
Median release cadence
94 days

py-aiger-ptltl dependencies

PyPI declares 2 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. py-aiger >=6.0.0,<7.0.0

Compatibility and release files

py-aiger-ptltl publishes 1 wheel and 1 source archive for version 3.1.2. Wheel platform tags: any.

Declared Python classifiers: 3.10, 3.7, 3.8, 3.9.

Release activity and sources

PyPI lists 11 releases with files. The first dated release is ; 1 release falls within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .