Information about the apt package "minisat".

Package

minisat

Version

1:2.2.1-5

Priority

extra

Section

universe/science

Source

minisat2

Origin

Ubuntu

Maintainer

Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>

Original Maintainer

Michael Tautschnig <mt@debian.org>

Bugs

https://bugs.launchpad.net/ubuntu/+filebug

Installed Size

454 kB

Provides

minisat2

Depends

libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4)

Conflicts

minisat2 (<< 1:2.2.1-1)

Replaces

minisat2 (<< 1:2.2.1-1)

Homepage

http://minisat.se/

Download Size

83.0 kB

APT Manual Installed

no

APT Sources

http://archive.ubuntu.com/ubuntu artful/universe amd64 Packages

Description

Fast and lightweight SAT solver

Install Info

artful,now 1:2.2.1-5 amd64

Installed Automatically

True

Files

/./
/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 -> libminisat.so.2
/usr/lib/libminisat.so.2 -> libminisat.so.2.1.0
/usr/lib/libminisat.so.2.1.0
/usr/share/
/usr/share/doc/
/usr/share/doc-base/
/usr/share/doc-base/minisat-user-guide
/usr/share/doc/minisat/
/usr/share/doc/minisat/changelog.Debian.gz
/usr/share/doc/minisat/copyright
/usr/share/doc/minisat/minisat-user-guide.html
/usr/share/man/
/usr/share/man/man1/
/usr/share/man/man1/minisat.1.gz