Binary package cbmc/6.1.1-2 in dawn @ pureos

cbmc - 6.1.1-2 main

CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.

Priority: optional
Section: science
Suites: amber byzantium dawn landing
Maintainer: Michael Tautschnig <mt [꩜] debian.org>

Homepage Source Package

Dependencies

gcc
libc6 (>= 2.38)
libgcc-s1 (>= 3.0)
libstdc++6 (>= 14)
minisat (>= 1:2.2.1)

Installed Size: 78.9 MB
Architectures: arm64 amd64

Versions

6.1.1-2 arm64 6.1.1-2 amd64