Version of boolector: 3.2.4-1
Architecture of boolector: amd64
Version of libsuitesparse-dev: 1:7.12.2+dfsg-1
Architecture of libsuitesparse-dev: amd64
| boolector | libsuitesparse-dev | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 2.7 KB | ./usr/lib/cmake/Boolector/BoolectorConfigVersion.cmake | sha512 | ./usr/lib/x86_64-linux-gnu/cmake/SPEX/SPEXConfigVersion.cmake |