» Ubuntu » 套件 » noble (24.04LTS) » 原始碼 » science » cbmc
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

原始碼套件： cbmc (5.95.1-4ubuntu1) [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 有關的套件

  • 完整構建時刻依賴
  • 單獨構建時刻依賴
  • 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: default-jdk-headless [除 arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
    Standard Java or Java compatible Development Kit (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: maven-debian-helper [除 arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
    Helper tools for building Debian packages with Maven

Download cbmc

文件大小(單位: kB)MD5 檢查碼
cbmc_5.95.1-4ubuntu1.dsc 3.1 kB 3909520534b1169d5194ed903e24ba59
cbmc_5.95.1.orig-java-cprover-api.tar.gz 14.2 kB 245cc4a092fb84d4c8a1333c793f1adc
cbmc_5.95.1.orig-java-models-library.tar.gz 292.2 kB 6ba4b12d1ad0ee6f917128fa61df4015
cbmc_5.95.1.orig.tar.gz 8,860.8 kB 05f0e4a4a3e7e2830c3be3b9398018de
cbmc_5.95.1-4ubuntu1.debian.tar.xz 15.1 kB 82e486c2e85f79f7f579e4821bd28fcc