PyPI page
Author:
Joe Stubbs
License:
Summary:
Library and toolkit for formally analyzing security policies in cloud systems using Python.
Latest version:
0.1.1
Required dependencies:
backcall
|
boto
|
cvc5
|
decorator
|
ipython
|
ipython-genutils
|
jedi
|
parso
|
pexpect
|
pickleshare
|
prompt-toolkit
|
ptyprocess
|
pygments
|
six
|
traitlets
|
wcwidth
|
z3-solver
Downloads last day:
3
Downloads last week:
9
Downloads last month:
16
7-day smoothing