Pymodelchecking

Latest version: v1.3.3

Safety actively analyzes 613631 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

1.3.1

Python2 support removal completed

1.3

This release is devoted to:
- improving the code of the parsers
- fix bug 2
- improve the documentation

1.2

Overwritten ~, &, and | as shortcuts to Not, And, and Or constructors, respectively.
Improved documentation.

1.1.1

Fixed an error in pypi dependency handling.

1.1

Added CTL, CTLS, and LTL parsers.
Added a module to represent propositional logics formulas.
Improved documentation.

1.0

- First complete release
- Added experimental support to Python 3
- Improved documentation

Links

Releases

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.