[  etiona  ] [  nabia  ] [  aramo  ]

[ Paquet source : cbmc  ]

Liens pour cbmc

Ressources Trisquel :

• Install using apturl
• Entry at directory.fsf.org
• Rapports de bogues
• Changelog
• Fichier de licence

Télécharger le paquet source 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]

Responsable :

• Ubuntu Developers (Archive du courrier électronique)

Original Maintainer:

• Michael Tautschnig

Ressources externes :

• Page d'accueil [www.cprover.org]

Paquets similaires :

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

Autres paquets associés à cbmc

dépendances

recommandations

suggestions

• dep: gcc

  GNU C compiler

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc-s1 (>= 3.0) [amd64]

  GCC support library

  dep: libgcc-s1 (>= 3.5) [armhf]

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

  GNU Standard C++ Library v3

• dep: minisat

  Fast and lightweight SAT solver

Télécharger cbmc

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	10 282,1 ko	45748 ko	[liste des fichiers]
armhf	7 837,6 ko	28522 ko	[liste des fichiers]