packagesソースパッケージ: cvc4 (1.8-5) [universe]
cvc4 に関するリンク
Ubuntu の資源:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (メールアーカイブ)
- Fabian Wolff
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [cvc4.github.io]
その他の cvc4 関連パッケージ
|
|
-
- adep: debhelper-compat (= 13)
- パッケージは利用できません
-
- adep: libgmp-dev
- パッケージは利用できません
-
- adep: libcln-dev
- パッケージは利用できません
-
- adep: antlr3
- パッケージは利用できません
-
- adep: libantlr3c-dev
- パッケージは利用できません
-
- adep: libboost-thread-dev
- パッケージは利用できません
-
- adep: libreadline-dev
- パッケージは利用できません
-
- adep: pkgconf
- パッケージは利用できません
-
- adep: cxxtest
- パッケージは利用できません
-
- adep: python3
- パッケージは利用できません
-
- adep: cmake
- パッケージは利用できません
Download cvc4
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| cvc4_1.8-5.dsc | 1.8 kB | e3e1702a222dccc159031ad05f940278 |
| cvc4_1.8.orig.tar.gz | 7,370.3 kB | 9f7657e21fec3c4042225b0b8f513c34 |
| cvc4_1.8-5.debian.tar.xz | 17.2 kB | 2f0452d02385454b1646beee02256bd5 |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/science-team/cvc4.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/science-team/cvc4