文件名称：z3
文件大小：12KB
文件格式：ZIP
更新时间：2024-04-07 02:10:36
exercism-track Shell
运动Z3轨迹 Z3 Z3是Microsoft Research的一个定理证明者。它是根据获得。 可从获得用于稳定和夜间发布的预构建二进制文件 。 对于这些练习，应使用带有Python绑定的Visual Studio构建Z3。 安装Z3 下载Python（如果尚未安装） 可以从下载最新版本的Python 安装时，请务必选中将Python添加到PATH的框 下载Visual Studio（如果尚未安装） 可从下载最新版本的Visual Studio 安装时，请选择Python开发工作负载 选中右侧的所有可选Python开发包复选框 安装后，打开Visual Studio并设置您的初始首选项。 安装Git命令 Git安装说明可以在找到 您将需要 克隆Z3 导航到以查看项目。 打开计算机上的终端，然后导航到要克隆Z3存储库的位置（例如：C：\ Z3）。 从该位置运行： git clone
【文件预览】：
z3-main
----bin()
--------fetch-configlet.ps1(933B)
--------fetch-configlet(1KB)
----exercises()
--------practice()
----config()
--------maintainers.json(132B)
----docs()
--------INSTALLATION.md(2KB)
--------SNIPPET.txt(0B)
--------TESTS.md(662B)
--------LEARNING.md(790B)
--------ABOUT.md(558B)
--------RESOURCES.md(330B)
----img()
--------.keep(0B)
----.github()
--------workflows()
--------CODEOWNERS(68B)
----LICENSE(1KB)
----.gitignore(48B)
----README.md(2KB)
----config.json(404B)