PyPI page
Home page
Author:
QWED Team
License:
Apache-2.0
Summary:
Deterministic Verification for Infrastructure as Code (IaC) using Z3 and Graph Theory.
Latest version:
0.3.0
Required dependencies:
cryptography
|
networkx
|
pydantic
|
pyjwt
|
python-hcl2
|
tomli
|
z3-solver
Optional dependencies:
black
|
pytest
|
pytest-cov
Downloads last day:
3
Downloads last week:
8
Downloads last month:
47
7-day smoothing