Mpbn

Latest version: v4.1

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

Page 3 of 3

* `MostPermissiveDynamics`: allow using the `loops` option

* add `has_cyclic_attractor()` method
* disable some clingo warnings
* rename `MostPermissiveUpdateModeDynamics` to `MostPermissiveDynamics`

* add `dynamics` method for computing state transition graph using the MP semantics

* fix bug with reachability when target configuration is partially specified

* explicitly verify that input Boolean functions do not contain literals with both signs

Initial release

Has known vulnerabilities