minisat (1:2.2.1-8)

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
minisat2
Architecture
armhf
Section
science
Priority
optional
Maintainer
Michael Tautschnig <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
329 B
Size expected
76.3 kB
Size actual
76.3 kB
Size match

Dependencies

Required package dependencies

  • libc6 (>= 2.34)
  • libgcc-s1 (>= 3.5)
  • libstdc++6 (>= 5)
  • zlib1g (>= 1:1.1.4)

Suggested packages

Recommended additional packages

  • None

Description

Fast and lightweight SAT solver

Homepage Download .deb

Tags

Package classification tags

field::mathematics
implemented-in::c++
implemented-in::java

Checksums

Hash values and integrity verification status

TypeActualMatch
MD58b3a7039…756e9997
SHA-19ba74a5e…ce564e1a
SHA-256fb778da6…5fe8e7a8
SHA-51242e04652…16e02567

Contents

Files and directories included

.
usr
usr/bin
usr/bin/minisat
usr/include
usr/include/minisat
usr/include/minisat/core
usr/include/minisat/core/Dimacs.h
usr/include/minisat/core/Solver.h
usr/include/minisat/core/SolverTypes.h
usr/include/minisat/mtl
usr/include/minisat/mtl/Alg.h
usr/include/minisat/mtl/Alloc.h
usr/include/minisat/mtl/Heap.h
usr/include/minisat/mtl/IntTypes.h
usr/include/minisat/mtl/Map.h
usr/include/minisat/mtl/Queue.h
usr/include/minisat/mtl/Sort.h
usr/include/minisat/mtl/Vec.h
usr/include/minisat/mtl/XAlloc.h
usr/include/minisat/simp
usr/include/minisat/simp/SimpSolver.h
usr/include/minisat/utils
usr/include/minisat/utils/Options.h
usr/include/minisat/utils/ParseUtils.h
usr/include/minisat/utils/System.h
usr/lib
usr/lib/libminisat.a
usr/lib/libminisat.so.2.1.0
usr/share
usr/share/doc
usr/share/doc/minisat
usr/share/doc/minisat/changelog.Debian.gz
usr/share/doc/minisat/changelog.gz
usr/share/doc/minisat/copyright
usr/share/doc/minisat/minisat-user-guide.html
usr/share/doc-base
usr/share/doc-base/minisat.minisat-user-guide
usr/share/man
usr/share/man/man1
usr/share/man/man1/minisat.1.gz
usr/lib/libminisat.so
usr/lib/libminisat.so.2