Package - boolector

Package:  boolector
apt-get install boolector
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_amd64.deb (Size: 301.8KiB)

PropertyValue
Packageboolector
Version1.5.118.6b56be4.121013-1.3
Installed-Size786
MaintainerMichael Tautschnig
Architectureamd64
Dependslibc6 (>= 2.34)
DescriptionSMT solver for bit-vectors and arrays
Description-md53ffdf2573adbbaeee22ada3c1789353d
Homepagehttp://fmv.jku.at/boolector/
Tagimplemented-in::c, role::program
Sectionscience
Priorityoptional
Filenamepool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_amd64.deb
Size309044
MD5sum88676c267bf495b66d7254ec95149412
SHA256dc4ddcd9688bd8fd6529ded9411b23491682eb90f662d2e6a359709e5c39d34e

Files in package

  • /usr/bin/boolector
  • /usr/share/doc/boolector/changelog.Debian.gz
  • /usr/share/doc/boolector/changelog.gz
  • /usr/share/doc/boolector/copyright
  • /usr/share/man/man1/boolector.1.gz