すべてのオプション
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: z3  ]

パッケージ: libz3-java (4.8.10-1)

libz3-java に関するリンク

Screenshot

Debian の資源:

z3 ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

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 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libz3-java のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 155.6 kB183.0 kB [ファイル一覧]
arm64 155.6 kB183.0 kB [ファイル一覧]
armel 155.6 kB183.0 kB [ファイル一覧]
armhf 155.6 kB183.0 kB [ファイル一覧]
i386 155.6 kB183.0 kB [ファイル一覧]
mips64el 155.6 kB183.0 kB [ファイル一覧]
mipsel 155.6 kB183.0 kB [ファイル一覧]
ppc64el 155.6 kB183.0 kB [ファイル一覧]
s390x 155.6 kB183.0 kB [ファイル一覧]