Metadata-Version: 2.1
Name: ms-ivy
Version: 1.8.26
Summary: IVy verification tool
Home-page: https://github.com/microsoft/ivy
Author: IVy team
Author-email: nomail@example.com
License: MIT
Requires-Python: >=3.10
Requires-Dist: pyparsing
Requires-Dist: ply
Requires-Dist: tarjan
Requires-Dist: pydot
Requires-Dist: ordered-set
Requires-Dist: z3-solver
Requires-Dist: applescript

# ivy

IVy is a research tool intended to allow interactive development of
protocols and their proofs of correctness and to provide a platform
for developing and experimenting with automated proof techniques. In
particular, IVy provides interactive visualization of automated
proofs, and supports a use model in which the human protocol designer
and the automated tool interact to expose errors and prove
correctness.

## Further Reading

For further information on IVy, see [the IVy web site](http://kenmcmil.github.io/ivy/).
