[ ソース: z3 ]
パッケージ: libz3-java (4.8.12-3.1 など)
theorem prover from Microsoft Research - java bindings
Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description.
This package can be used to invoke Z3 via its Java API.
その他の libz3-java 関連パッケージ
|
|
|
|
libz3-java のダウンロード
アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|---|
alpha (非公式の移植版) | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
amd64 | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
arm64 | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
armel | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
armhf | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
i386 | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
mips64el | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
ppc64el | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
riscv64 | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
s390x | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
sparc64 (非公式の移植版) | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |
x32 (非公式の移植版) | 4.8.12-3.1+b2 | 159.3 kB | 186.0 kB | [ファイル一覧] |