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