在 MacBook M1 上安装 Microsoft Z3

Question

我最近更换了旧的 MacBook Air，并购买了 MacBook M1。我想在它上面安装微软研究院 z3。有可能吗？它在 M1 上有效吗？

我去了 github关联这里有安装 z3 所需的一切。不幸的是，我不得不承认我一点 IT 知识都没有，而当我点击该链接时我甚至不知道从哪里开始。

是否有人能好心地向我解释如何一步步安装 z3，就好像我真的很笨，对 IT 技术知之甚少一样？

感谢您的帮助。您可以随意编辑您认为合适的标签。