[  etiona  ] [  nabia  ] [  aramo  ]

[ Källkod: cbmc  ]

Länkar för cbmc

Trisquelresurser:

• Install using apturl
• Entry at directory.fsf.org
• Felrapporter
• Changelog
• Upphovsrättsfil

Hämta källkodspaketet cbmc:

• [cbmc_5.6-1.dsc]
• [cbmc_5.6.orig.tar.gz]
• [cbmc_5.6-1.debian.tar.xz]

Ansvarig:

• Michael Tautschnig

Original Maintainer:

• Michael Tautschnig

Externa resurser:

• Hemsida [www.cprover.org]

Liknande paket:

• libtime-progress-perl
• uftrace
• libdevel-simpletrace-perl
• rumur
• libpath-iterator-rule-perl
• libtest-assertions-perl
• tcc
• splint
• splint-data
• splint-doc-html
• libanyevent-perl

Andra paket besläktade med cbmc

beror

rekommenderar

föreslår

• dep: gcc

  GNU C compiler

• dep: libc6 (>= 2.11) [i386]

  GNU C Library: Shared libraries
  också ett virtuellt paket som tillhandahålls av libc6-udeb

  dep: libc6 (>= 2.14) [amd64]

• dep: libgcc1 (>= 1:3.0) [amd64]

  GCC support library

  dep: libgcc1 (>= 1:4.2) [i386]

• dep: libstdc++6 (>= 5.2)

  GNU Standard C++ Library v3

• dep: libzip4 (>= 0.10)

  library for reading, creating, and modifying zip archives (runtime)

• dep: minisat

  Fast and lightweight SAT solver

Hämta cbmc

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	3.927,0 kbyte	19082 kbyte	[filförteckning]
i386	3.745,9 kbyte	18035 kbyte	[filförteckning]