Source: boolector Section: science Priority: extra Maintainer: Michael Tautschnig Build-Depends: debhelper (>= 5) Standards-Version: 3.9.3 Homepage: http://fmv.jku.at/boolector/ 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.