Description
Bounded Model Checker for C and C++ programs
Installation Instructions
Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
Release | Architectures | Repo Download |
---|---|---|
![]() |
aarch64 (0)*, x86_64 (0)* | Fedora 39 (0 downloads) |
![]() |
aarch64 (0)*, x86_64 (0)* | Fedora 40 (41 downloads) |
![]() |
aarch64 (0)*, x86_64 (0)* | Fedora 41 (9 downloads) |
![]() |
aarch64 (0)*, x86_64 (0)* | Fedora 42 (2 downloads) |
![]() |
aarch64 (0)*, x86_64 (0)* | Fedora rawhide (36 downloads) |
* Total number of downloaded packages.
Last Build
No builds...
Quick Enable
#> dnf copr enable v02460/cbmc
More info about enabling Copr repositories