- libc6 (>= 2.38)
- libgcc-s1 (>= 3.0)
- libstdc++6 (>= 14)
- minisat (>= 1:2.2.1)
JBMC 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.
Installed Size: 28.8 MB
Architectures: amd64 arm64