我最近换了一台旧的macbook air，买了一台macbook M1。我想在上面安装微软研究Z3。
有可能吗？它在M1上工作吗？
我去了github链接，那里有安装z3所需的一切。不幸的是，我不得不承认，我一点都不懂IT，要转到那个链接，我甚至不知道从哪里开始
Q
有人能像我真的很笨，对IT技术知识知之甚少一样，向我解释如何分步安装z3吗？
感谢您的帮助。请随意编辑您认为合适的标签。
实际上我已经花了两天的时间。所以我决定使用VM Ubuntu。我建议使用M1-M2 Macbook的VM。现在一切都在为我工作。
通过在终端中输入以下命令安装z3：
sudo apt update
sudo apt install z3
如果你会得到LLVM错误：https://apt.llvm.org/
但如果你想继续M1，首先运行
brew install z3
并将这些添加到stack.yaml 中
extra-include-dirs:
- /opt/homebrew/opt/23/include
extra-lib-dirs:
- /opt/homebrew/opt/z3/lib