Kaynak Paket: cbmc (5.6-1)
cbmc için bağlantılar
Trisquel Kaynakları:
Geliştirici:
Original Maintainer:
Dış Kaynaklar:
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- cbmc
- bounded model checker for C and C++ programs
cbmc ile İlgili Diğer Paketler
|
- bağımsız inşa bağımlılıkları
|
-
- adep:
debhelper
(>= 9)
- helper programs for debian/rules
-
- adep:
minisat
(>= 1:2.2.1-2)
- Fast and lightweight SAT solver
-
- adep:
zlib1g-dev
- compression library - development
-
- adep:
flex
- fast lexical analyzer generator
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
libzip-dev
- library for reading, creating, and modifying zip archives (development)