packagesKällkodspaket: cbmc (6.6.0-4ubuntu2) [universe]
Länkar för cbmc
Ubunturesurser:
Ansvarig:
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.
Externa resurser:
- Hemsida [www.cprover.org]
Följande binärpaket byggs från detta källkodspaket:
Andra paket besläktade med cbmc
|
|
-
- adep: debhelper-compat (= 13)
- Paketet inte tillgängligt
-
- adep: bison
- YACC-compatible parser generator
-
- adep: flex
- fast lexical analyzer generator
-
- adep: minisat (>= 1:2.2.1-2)
- Fast and lightweight SAT solver
-
- adep: zlib1g-dev
- compression library - development
-
- adep: gdb [amd64]
- GNU Debugger
-
- adep: libxml2-utils
- GNOME XML library - utilities
-
- adep: python-is-python3
- symlinks /usr/bin/python to python3
-
- adep: z3 [ej sh4]
- theorem prover from Microsoft Research
-
- adep: cvc5 [ej armel armhf hppa hurd-amd64 hurd-i386 i386 ia64 loong64 mips64el powerpc sh4 x32]
- automated theorem prover for SMT problems
-
- adep: openjdk-8-jdk-headless [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64 riscv64]
- OpenJDK Development Kit (JDK) (headless)
- eller openjdk-11-jdk-headless [riscv64]
- OpenJDK Development Kit (JDK) (headless)
-
- adep: libmaven-dependency-plugin-java [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Maven Dependency Plugin
-
- adep: libmaven-install-plugin-java [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Maven install plugin
-
- adep: libmaven-resources-plugin-java [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Maven resources plugin
-
- adep: maven-debian-helper [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Helper tools for building Debian packages with Maven
Download cbmc
| Fil | Storlek (i kbyte) | MD5-kontrollsumma |
|---|---|---|
| cbmc_6.6.0.orig-java-cprover-api.tar.gz | 14,2 kbyte | 245cc4a092fb84d4c8a1333c793f1adc |
| cbmc_6.6.0.orig-java-models-library.tar.gz | 292,2 kbyte | 6ba4b12d1ad0ee6f917128fa61df4015 |
| cbmc_6.6.0.orig.tar.gz | 8.932,3 kbyte | 5f5dabbc1f59abe75f322566d86a9f10 |
| cbmc_6.6.0-4ubuntu2.debian.tar.xz | 16,2 kbyte | 87529a79c179d4d880f1eb33e160a05d |
| cbmc_6.6.0-4ubuntu2.dsc | 3,2 kbyte | a7ddebfe7fa2ee481d380dc81e2a2a82 |