Pyreason

Latest version: v3.0.0

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

Scan your dependencies

Page 7 of 14

Fixed bug while adding edges, made option for non-static graphml facts, possible to represent intervals in graphml

Option to make graphml facts non-static

Added option to not fix inconsistencies and override interpretation with new bound

Added more flexible logic functionality to check neighbors of neighbors in edge clause. Fixed rules that deal with edges.

Bug fix, not running until convergence, 5

Bug fix for saving graph attributes to trace

Has known vulnerabilities

Previous Next