Brewly
Formula

cbmc

6.11.0

C Bounded Model Checker

Install

brew install cbmc

Details

Type
Formula
License
BSD-4-Clause
Tap
homebrew/core

Sources

Supported platforms

ArchitecturePlatformsVersionDownload
Apple SiliconGolden Gate6.11.0File
SHA-25631704258ba763a6450388869283a9b4efbc518bbea07979be2031b983f248804
Apple SiliconTahoe6.11.0File
SHA-2563fb094c69d4a877d89c3471c0c0adff0526220261e593f7ffb6f13d4224129f8
Apple SiliconSequoia6.11.0File
SHA-256d5e988a02557886e4e11dee46c3726a2f3d4ba709a58cbf363cca5ee700d5afd
Apple SiliconSonoma6.11.0File
SHA-2564717be1732386e1b7958ce6f83e0d8043a77e30feab747cf8179230c4696dd82
IntelSonoma6.11.0File
SHA-25624f77ab6ee97f3b4685a1538c2264f2c7b887f1315ba8b96f4a7f8a3a45f73c2
ARM64Linux6.11.0File
SHA-2562aa5c8b901344d36371aa94a80ec0bd31b0387424f4e7e12a85773ac20b6c184
x86_64Linux6.11.0File
SHA-256a188dfd31e82ab5dc7ae792f08bbdbb99317e7dd22102fb286c10e886489a256

Package data

30-day installs
22
90-day installs
139
365-day installs
493