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.
I was trying to install ivy on Windows, but I could not find a repository where the windows binaries mentioned in https://github.com/kenmcmil/ivy are located
While running python build_submodules.py, the build fails while setting up Z3 and asks for a Visual Studio Command Prompt even though I had been using the Visual Studio Command Prompt with VS 2019
It will be very helpful if you can confirm if it is even possible to install Ivy in Windows (the instructions seem to be outdated), otherwise, I can install Ubuntu on my machine to try it out.
Hi,
I was trying to install ivy on Windows, but I could not find a repository where the windows binaries mentioned in https://github.com/kenmcmil/ivy are located
I then tried following the instruction in http://microsoft.github.io/ivy/install.html#binary, but
pip install ms-ivyfails with ERROR: "No matching distribution found for ms-ivy"I also tried to install directly from the source by following the instructions provided in http://microsoft.github.io/ivy/install.html#windowsnotes , but there too seem to be the following issue :
While running
python build_submodules.py, the build fails while setting up Z3 and asks for a Visual Studio Command Prompt even though I had been using the Visual Studio Command Prompt with VS 2019It will be very helpful if you can confirm if it is even possible to install Ivy in Windows (the instructions seem to be outdated), otherwise, I can install Ubuntu on my machine to try it out.
Thanks