Pyvcg

Latest version: v1.0.7

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

Scan your dependencies

Page 1 of 2

* Move to CVC 1.2.0. This should now include Windows support.

* Add new driver for CVC5 (via SMTLIB files instead of the API).

* Fix python_requires, the expression acidentally excluded Python
3.11. We should now correctly support it.

* Move to CVC 1.0.8. This means we can now support Python 3.11 as
well.

* Pin to CVC5 1.0.5, as 1.0.7 is completely broken

Has known vulnerabilities