Information for cbmc

Versions

• 5.11.r1339.gabbb38942
• 5.25.0
• 5.24.0
• 5.17.0
• 5.12 (2)
• 5.11 (2)
• 5.10 (2)
• 5.8
• 5.7
• 5.6
• 5.5
• 5.3
• 4.9
• 4.5
• 4.0

Package names

• cbmc (4)
• cbmc-bin
• cbmc-git
• devel/cbmc

Repositories

• AUR
• Debian Oldstable
• Debian Stable
• Debian Testing
• Debian Unstable
• Deepin
• Devuan 1.0 (Jessie)
• Devuan 2.0 (ASCII)
• Devuan 3.0 (Beowulf)
• Devuan 4.0 (Chimaera)
• Devuan Unstable
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora Rawhide
• Homebrew
• Kali Linux Rolling
• Linuxbrew
• OpenBSD Ports
• Pardus 17
• Pardus 19
• Parrot
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Trisquel 6.0
• Trisquel 7.0
• Trisquel 8.0
• Trisquel 9.0
• Ubuntu 12.04
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 20.10

Categories

• Unspecified
• devel
• misc
• science
• universe/science

Licenses

• BSD with advertising
• custom

Summaries

• Bounded Model Checker for ANSI-C and C++ programs
• Bounded Model Checker for C and C++ programs
• Bounded Model Checking for ANSI-C
• C Bounded Model Checker

Maintainers

• mages.simon@googlemail.com
• mt@debian.org
• pythonshell@aur
• ubuntu-devel-discuss@lists.ubuntu.com

• Group email

Homepage links

• http://www.cprover.org/cbmc/⁴⁶ (4)
• https://github.com/diffblue/cbmc⁴⁶
• https://www.cprover.org/cbmc/⁴⁶

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc-bin
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc-git
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/cbmc.rb
• https://github.com/Homebrew/linuxbrew-core/blob/master/Formula/cbmc.rb
• https://src.fedoraproject.org/rpms/cbmc/blob/f26/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/f27/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/f28/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/f29/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/f30/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/f31/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/f32/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/f33/f/cbmc.spec
• https://src.fedoraproject.org/rpms/cbmc/blob/rawhide/f/cbmc.spec

Downloads

• http://ftp.au.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• http://ftp.de.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• http://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• http://ftp.fr.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• http://ftp.nl.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• http://ftp.uk.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• http://ftp.us.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• https://deb.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz⁴⁶
• https://github.com/diffblue/cbmc/archive/cbmc-5.5/cbmc-5.5.tar.gz⁴⁶