I am currently starting some work on Cryptol but for Cryptol I need z3. Z3 is required to even run it. I have downloaded the latest Z3 version from gitHub but I am not sure how to install it/set it up for use by cryptol. I am on a windows 10 PC. Would appreciate any help.
If you're willing to build on your own, here're the instructions: https://github.com/Z3Prover/z3#building-z3-on-windows-using-visual-studio-command-prompt
But you're better off just getting the nuget package and installing it directly, here's the latest: https://github.com/Z3Prover/z3/releases/download/z3-4.8.10/Microsoft.Z3.x64.4.8.10.nupkg (See https://learn.microsoft.com/en-us/nuget/reference/ps-reference/ps-ref-install-package for how to install this manually.)