Package - picosat

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/p/picosat/picosat_965-2_amd64.deb (Size: 92.3KiB)

PropertyValue
Packagepicosat
Version965-2
Installed-Size879
MaintainerDebian Science Team
Architectureamd64
Dependslibc6 (>= 2.7)
DescriptionSAT solver with proof and core support
Description-md5da3bd387c3a4f3fabebfc27b3fad967b
Homepagehttp://fmv.jku.at/picosat/
Tagfield::mathematics, implemented-in::c, role::program
Sectionscience
Priorityoptional
Filenamepool/main/p/picosat/picosat_965-2_amd64.deb
Size94496
MD5sum207bd8341b2fd889e438f145ba8016ed
SHA2566624843a227421db9e565e4d841f0921b54d02061ffca86d3cdb4bdd4eb2c5aa

Files in package

  • /usr/bin/picomus
  • /usr/bin/picosat
  • /usr/bin/picosat.trace
  • /usr/include/picosat/picosat.h
  • /usr/lib/x86_64-linux-gnu/libpicosat-trace.a
  • /usr/lib/x86_64-linux-gnu/libpicosat-trace.so
  • /usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1
  • /usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0
  • /usr/lib/x86_64-linux-gnu/libpicosat.a
  • /usr/lib/x86_64-linux-gnu/libpicosat.so
  • /usr/lib/x86_64-linux-gnu/libpicosat.so.1
  • /usr/lib/x86_64-linux-gnu/libpicosat.so.1.0.0
  • /usr/share/doc/picosat/changelog.Debian.gz
  • /usr/share/doc/picosat/changelog.gz
  • /usr/share/doc/picosat/copyright
  • /usr/share/man/man1/picomus.1.gz
  • /usr/share/man/man1/picosat.1.gz
  • /usr/share/man/man1/picosat.trace.1.gz