» Ubuntu » Пакеты » resolute (26.04LTS) » Исходный код » science » cbmc
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Пакет исходного кода: cbmc (6.6.0-4ubuntu2) [universe]

Ссылки для cbmc

Ресурсы Ubuntu:

Сопровождающий:

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.

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
cbmc
bounded model checker for C and C++ programs
jbmc
bounded model checker for Java programs

Другие пакеты, относящиеся к cbmc

  • для сборки
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Пакет недоступен
  • 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 [не sh4]
    theorem prover from Microsoft Research
  • adep: cvc5 [не 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 [не arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64 riscv64]
    OpenJDK Development Kit (JDK) (headless)
    или openjdk-11-jdk-headless [riscv64]
    OpenJDK Development Kit (JDK) (headless)
  • adep: libmaven-dependency-plugin-java [не arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
    Maven Dependency Plugin
  • adep: libmaven-install-plugin-java [не arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
    Maven install plugin
  • adep: libmaven-resources-plugin-java [не arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
    Maven resources plugin
  • adep: maven-debian-helper [не arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
    Helper tools for building Debian packages with Maven

Download cbmc

ФайлРазмер (в Кб)Контрольная сумма MD5
cbmc_6.6.0.orig-java-cprover-api.tar.gz 14,2 Кб 245cc4a092fb84d4c8a1333c793f1adc
cbmc_6.6.0.orig-java-models-library.tar.gz 292,2 Кб 6ba4b12d1ad0ee6f917128fa61df4015
cbmc_6.6.0.orig.tar.gz 8 932,3 Кб 5f5dabbc1f59abe75f322566d86a9f10
cbmc_6.6.0-4ubuntu2.debian.tar.xz 16,2 Кб 87529a79c179d4d880f1eb33e160a05d
cbmc_6.6.0-4ubuntu2.dsc 3,2 Кб a7ddebfe7fa2ee481d380dc81e2a2a82