【文件属性】：
文件名称：java8看不到源码-kat:猫
文件大小：171KB
文件格式：ZIP
更新时间：2021-06-04 19:47:12
系统开源
java8
看不到源码K分析工具集
该存储库使用
K
策略语言来构建一套用于程序分析的工具。
安装/构建
系统依赖
构建/运行
KAT
需要以下内容：
用于生成*.k从文件*.md文件。
GNU
,
,
和
.
GNU
和
.
Java
8
JDK（例如）
，重要：15.04
之前的
Ubuntu
用户必须从源代码构建，因为
14.10
及之前的
Ubuntu
安装已损坏。
opam
repository也需要rsync
。
自动一阶定理证明器。
在
Ubuntu
>=
15.04（例如）上：
sudo
apt-get
install
make
gcc
maven
openjdk-8-jdk
flex
opam
pkg-config
libmpfr-dev
autoconf
libtool
pandoc
zlib1g-dev
z3
libz3-dev
在
ArchLinux
上：
sudo
pacman
-S
base-devel
rsync
opam
pandoc
jre8-openjdk
mpfr
maven
z3
在
OSX
上，使用
,
安装命令行工具包后：
brew
tap