unzip z3解算器失败

Question

我正在尝试在非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

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

Answer 1

我从此链接下载了发行版：https://launchpad.net/ubuntu/+source/z3/4.8.4-1build1