Package - depqbf

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/d/depqbf/depqbf_5.01-3_amd64.deb (Size: 135.0KiB)

PropertyValue
Packagedepqbf
Version5.01-3
Installed-Size674
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.14)
Descriptionsolver for quantified boolean formulae
Description-md5800bcc7a2bdea9545c4c8eb5c65df5f0
Homepagehttps://lonsing.github.io/depqbf/
Sectioninterpreters
Priorityoptional
Filenamepool/main/d/depqbf/depqbf_5.01-3_amd64.deb
Size138268
MD5sum88d75873de473db60d539f8590589e5a
SHA25657f606ca724c402f29b0b3d3f74bde82e83ebbd5f40dd1ed4040224a93ddb2fe

Files in package

  • /usr/bin/depqbf
  • /usr/include/qdpll/qdpll.h
  • /usr/lib/libqdpll.a
  • /usr/lib/libqdpll.so
  • /usr/lib/libqdpll.so.1
  • /usr/lib/libqdpll.so.1.0
  • /usr/share/doc/depqbf/README.gz
  • /usr/share/doc/depqbf/changelog.Debian.gz
  • /usr/share/doc/depqbf/changelog.gz
  • /usr/share/doc/depqbf/copyright
  • /usr/share/doc/depqbf/examples/basic-api-example.c
  • /usr/share/doc/depqbf/examples/basic-api-example2.c.gz
  • /usr/share/doc/depqbf/examples/basic-api-example3.c
  • /usr/share/doc/depqbf/examples/basic-clause-groups-api-example-assumptions.c.gz
  • /usr/share/doc/depqbf/examples/basic-clause-groups-api-example.c.gz
  • /usr/share/doc/depqbf/examples/basic-manual-selectors.c
  • /usr/share/doc/depqbf/examples/makefile
  • /usr/share/lintian/overrides/depqbf
  • /usr/share/man/man1/depqbf.1.gz