packages
[ Източник: cbmc ]
Пакет: cbmc (5.10-5ubuntu1) [universe]
Връзки за cbmc
Ресурси за Ubuntu:
Изтегляне на пакет-източник cbmc.
- [cbmc_5.10-5ubuntu1.dsc]
- [cbmc_5.10.orig-java-models-library.tar.gz]
- [cbmc_5.10.orig.tar.gz]
- [cbmc_5.10-5ubuntu1.debian.tar.xz]
Отговорник:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Michael Tautschnig
It should generally not be necessary for users to contact the original maintainer.
Външни препратки:
- Начална страница [www.cprover.org]
Подобни пакети:
bounded model checker for C and C++ programs
Други пакети, свързани с cbmc
|
|
|
|
-
- dep: gcc
- GNU C compiler
-
- dep: libc6 (>= 2.29)
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [amd64, s390x]
- GCC support library
- dep: libgcc-s1 (>= 3.5) [armhf]
- dep: libgcc-s1 (>= 4.2) [arm64, ppc64el]
-
- dep: libstdc++6 (>= 9)
- GNU Standard C++ Library v3
-
- dep: minisat
- Fast and lightweight SAT solver
Изтегляне на cbmc
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| amd64 | 10 282,1 кБ | 45 748,0 кБ | [списък на файловете] |
| arm64 | 8 596,7 кБ | 41 194,0 кБ | [списък на файловете] |
| armhf | 7 837,6 кБ | 28 522,0 кБ | [списък на файловете] |
| ppc64el | 9 618,9 кБ | 50 558,0 кБ | [списък на файловете] |
| s390x | 8 785,1 кБ | 46 626,0 кБ | [списък на файловете] |