» Ubuntu » Packages » quantal (12.10) » Source » science » boolector
precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]

Source Package: boolector (1.4.ffc2089.100608-1) [universe]

Links for boolector

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Michael Tautschnig

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
SMT solver for bit-vectors and arrays

Other Packages Related to boolector

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 5)
    helper programs for debian/rules
  • adep: picosat
    SAT solver with proof and core support

Download boolector

FileSize (in kB)MD5 checksum
boolector_1.4.ffc2089.100608-1.dsc 1.1 kB 665e047512896ad0874ee5b65580f2f7
boolector_1.4.ffc2089.100608.orig.tar.gz 222.0 kB a2cbcb6b3d3d600eafc4607fc40ae544
boolector_1.4.ffc2089.100608-1.debian.tar.gz 4.0 kB 9b85b851a10cd057d1a78e3c09b3437e