deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.34)
Description: |-
SMT solver for bit-vectors and arrays
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.
Homepage: http://fmv.jku.at/boolector/
Installed-Size: '786'
Maintainer: Michael Tautschnig <mt@debian.org>
Package: boolector
Priority: extra
Section: science
Version: 1.5.118.6b56be4.121013-1.3
srcpkg_name: boolector
srcpkg_version: 1.5.118.6b56be4.121013-1.3
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| built-using | Source package | boolector_1.5.118.6b56be4.121013-1.3 |
|
|
| built-using | Binary package | dpkg-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dpkg_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dselect-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dselect_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | libdpkg-dev_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dpkg-dev_1.22.12~1.gbp82cafd_all |
|
|
| built-using | Binary package | libdpkg-perl_1.22.12~1.gbp82cafd_all |
|
|
| extends | Package upload | boolector_1.5.118.6b56be4.121013-1.3 |
|