PyPI page
Home page
Author:
IVy team
License:
MIT
Summary:
IVy verification tool
Latest version:
1.10.1
Required dependencies:
applescript
|
ordered-set
|
ply
|
pydot
|
pyparsing
|
tarjan
Optional dependencies:
ivy-lsp
|
z3-solver
Downloads last day:
0
Downloads last week:
21
Downloads last month:
30
7-day smoothing