[ squeeze ] [ wheezy ] [ jessie ] [ sid ]

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

Links for boolector

Debian Resources:

Maintainer:

Michael Tautschnig (QA Page)

External Resources:

Homepage [fmv.jku.at]

The following binary packages are built from this source package:

boolector: 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

File	Size (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