Pythogic

Latest version: v0.2.9

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

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

Releases

Has known vulnerabilities

Pythogic

Page 1 of 2

0.2.8

0.2.7

0.2.6

0.2.4

0.2.3

0.2.2

Page 1 of 2

Links

Releases