解压缩 z3 求解器失败答案

【问题标题】：unzip z3 solver failing解压缩 z3 求解器失败
【发布时间】：2020-03-11 20:32:07
【问题描述】：

我正在尝试在我不是 root 的远程 Linux 服务器上安装 z3，我已将 ubuntu 匹配版本下载到服务器上的主目录，当我解压缩它时，我没有得到我需要的所有文件夹. 我在自己的 MacBook 上安装了 z3（使用匹配的版本），它运行良好，所以我在下面给出解压缩的样子和我得到的样子。

服务器

unzip z3-4.8.6-x64-ubuntu-16.04.zip 
Archive:  z3-4.8.6-x64-ubuntu-16.04.zip
  inflating: z3-4.8.6-x64-ubuntu-16.04/LICENSE.txt  
  inflating: z3-4.8.6-x64-ubuntu-16.04/bin/Microsoft.Z3.dll  

 ...

  inflating: z3-4.8.6-x64-ubuntu-16.04/include/z3_rcf.h  
  inflating: z3-4.8.6-x64-ubuntu-16.04/include/z3_macros.h

user@server:~/home/src/z3$ ls
z3-4.8.6-x64-ubuntu-16.04  z3-4.8.6-x64-ubuntu-16.04.zip


user@server:~/home/src/z3$ cd z3-4.8.6-x64-ubuntu-16.04/
user@server:~/home/src/z3/z3-4.8.6-x64-ubuntu-16.04$ ls
bin  include  LICENSE.txt

macbook 版本：

(base) user:Desktop username$ cd z3
(base) user:z3 username$ ls
CMakeLists.txt  RELEASE_NOTES   contrib     package
LICENSE.txt build       doc     scripts
README-CMake.md cmake       examples    src
README.md   configure   noarch      todo.txt

我需要脚本目录和其中的文件才能开始构建。对出了什么问题有任何想法吗？

【问题讨论】：

可执行文件应该已经存在于bin 目录中。不是吗？
@alias 是的，它就在那里。当我尝试执行它时，我收到一条错误消息。
错误信息是什么？
@alias 错误：“z3”无法打开。
检查权限。它有可执行的权限吗？如果没有，请发出chmod a+x ...path-to-bin-file..

标签： ubuntu server z3

【解决方案1】：

我从这个链接下载了一个版本： https://launchpad.net/ubuntu/+source/z3/4.8.4-1build1

解压后包含进一步安装所需的所有文件

【讨论】：