Workflow

Pyxmv

Latest version: v0.6.0

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

Scan your dependencies

Page 2 of 2

0.2.0

🚀 Features

- Add parser for verification outcomes
- Add ic3, ic3-invar CLI commands

🐛 Bug Fixes

- Bug in PyXmv.simulate()

⚙️ Miscellaneous Tasks

- Cleanup

<!-- generated by git-cliff -->

Page 2 of 2

Links

Releases

Has known vulnerabilities

Previous

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.