Workflow

Pythogic

Latest version: v0.2.9

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

Scan your dependencies

Page 1 of 2

0.2.8

------------------

* Implemented DFA conversion for NFAs from LDLf_EmptyTraces formulas

0.2.7

------------------

* Fix bug in delta function for NFA computation from LDLf_EmptyTraces formulas
* Fix bug in rewriting automata for PySimpleAutomata package

0.2.6

------------------

* Non-deterministic state automata conversion procedure for LDLf_EmptyTraces formulas.

0.2.4

------------------

* Support for LDLf for Empty Traces.

0.2.3

------------------

* "To negative normal form" procedure for LDLf formulas.

0.2.2

------------------

* Refactoring of the formulas and formal systems functionalities.
* Implemented LDLf.

Page 1 of 2

Links

Releases

Has known vulnerabilities

Next

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.