PyPI page
Home page
Author:
None
License:
Apache-2.0
Summary:
Deterministic Verification for Infrastructure as Code (IaC) using Z3 and Graph Theory.
Latest version:
0.2.0
Required dependencies:
networkx
|
pydantic
|
python-hcl2
|
tomli
|
z3-solver
Optional dependencies:
black
|
pytest
|
pytest-cov
Downloads last day:
4
Downloads last week:
16
Downloads last month:
121