Source Package: boolector (220.127.116.11b56be4.121013-1)
Links for boolector
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- SMT solver for bit-vectors and arrays
Other Packages Related to boolector
- helper programs for debian/rules