Use platform specific Z3 distribution.

Author: robby-phd

library/jvm/src/main/scala/org/sireum/Init.scala

@@ -462,13 +462,13 @@ import Init._
 
     val filename: String = kind match {
       case Os.Kind.Win =>
-        if (Os.isWinArm) s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"//s"z3-$version-win-arm64.zip"
-        else s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"//s"z3-$version-win-amd64.zip"
+        if (Os.isWinArm) s"z3-$version-win-arm64.zip"//s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"
+        else s"z3-$version-win-amd64.zip"//s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"
       case Os.Kind.Mac =>
         if (Os.isMacArm) s"z3-$version-mac-arm64.zip"
         else s"z3-$version-mac-amd64.zip"
-      case Os.Kind.Linux => s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"//s"z3-$version-linux-amd64.zip"
-      case Os.Kind.LinuxArm => s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"//s"z3-$version-linux-arm64.zip"
+      case Os.Kind.Linux => s"z3-$version-linux-amd64.zip"//s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"
+      case Os.Kind.LinuxArm => s"z3-$version-linux-arm64.zip"//s"z3-exe-static-$version-cosmocc-$cosmoccVersion.zip"
       case _ => return
     }
     val url: String = s"https://github.com/sireum/rolling/releases/download/z3/$filename"