特定のスイートに絞って検索: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
cvc4 を名前に含むパッケージを、すべてのスイート、すべてのセクション、すべてのアーキテクチャで検索しました。 8 個の一致するパッケージが見つかりました。
完全なヒット
cvc4 パッケージ
- aramo (math):
automated theorem prover for SMT problems
1.8-2: amd64 arm64 armhf ppc64el - nabia (math):
automated theorem prover for SMT problems
1.6-2build2: amd64 - etiona (math):
automated theorem prover for SMT problems
1.5-1: amd64 i386
その他のヒット
libcvc4-4 パッケージ
- etiona (libs):
automated theorem prover for SMT problems (runtime)
1.5-1: amd64 i386
libcvc4-5 パッケージ
- nabia (libs):
automated theorem prover for SMT problems (runtime)
1.6-2build2: amd64
libcvc4-7 パッケージ
- aramo (libs):
automated theorem prover for SMT problems (runtime)
1.8-2: amd64 arm64 armhf ppc64el
libcvc4-dev パッケージ
- aramo (libdevel):
automated theorem prover for SMT problems (development files)
1.8-2: amd64 arm64 armhf ppc64el - nabia (libdevel):
automated theorem prover for SMT problems (development files)
1.6-2build2: amd64 - etiona (libdevel):
automated theorem prover for SMT problems (development files)
1.5-1: amd64 i386
libcvc4parser4 パッケージ
- etiona (libs):
automated theorem prover for SMT problems (parser runtime)
1.5-1: amd64 i386
libcvc4parser5 パッケージ
- nabia (libs):
automated theorem prover for SMT problems (parser runtime)
1.6-2build2: amd64
libcvc4parser7 パッケージ
- aramo (libs):
automated theorem prover for SMT problems (parser runtime)
1.8-2: amd64 arm64 armhf ppc64el