[Feature Request] Windows Support of Move Prover

[xudon9]

Feature Request

Add support of Move Prover on Windows.

Currently Move Prover relies on external executables, including Boogie, Z3 and CVC5, etc. For example, we install boogie using a script that calls this shell function. And prover reads boogie path from this field.

Maybe we can create a Python or Powershell script to do the installation and environment variable setup.

[LemonHX]

I will first write dev_setup.ps1 for move and contribute to the diem/move then, trying to fork it into starcoin.

[LemonHX]

@whst done powershell writting, can you help me to fix mpm?