1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Source: boolector
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>,
Andreas Tille <tille@debian.org>
Section: science
Build-Depends: debhelper-compat (= 13),
cmake,
libbtor2parser-dev,
minisat,
zlib1g-dev
Standards-Version: 4.7.3
Vcs-Browser: https://salsa.debian.org/science-team/boolector
Vcs-Git: https://salsa.debian.org/science-team/boolector.git
Homepage: https://boolector.github.io/
Package: boolector
Architecture: any
Depends: ${shlibs:Depends},
${misc:Depends}
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.
|
