minisat_2.2.1-3_amd64.deb


Advertisement

Description

minisat - Fast and lightweight SAT solver

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name minisat
Package version 2.2.1
Package release 3
Package architecture amd64
Package type deb
Installed size 438 B
Download size 123.90 KB
Official Mirror archive.ubuntu.com
Despite the NP completeness of the satisfiability problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT. Winning all the
industrial categories of the SAT 2005 competition, MiniSat is a good starting
point both for future research in SAT, and for applications using SAT.

Alternatives

Package Version Architecture Repository
minisat_2.2.1-3_i386.deb 2.2.1 i386 Ubuntu Universe
minisat - - -

Requires

Name Value
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.1.1
zlib1g >= 1:1.1.4

Provides

Name Value
minisat2 -

Conflicts

Name Value
minisat2 << 1:2.2.1-1

Replaces

Name Value
minisat2 << 1:2.2.1-1

Download

Type URL
Binary Package minisat_2.2.1-3_amd64.deb
Source Package minisat2

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install minisat deb package:
    # sudo apt-get install minisat

Files

Path
/usr/bin/minisat
/usr/include/minisat/core/Dimacs.h
/usr/include/minisat/core/Solver.h
/usr/include/minisat/core/SolverTypes.h
/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/SimpSolver.h
/usr/include/minisat/utils/Options.h
/usr/include/minisat/utils/ParseUtils.h
/usr/include/minisat/utils/System.h
/usr/lib/libminisat.a
/usr/lib/libminisat.so
/usr/lib/libminisat.so.2
/usr/lib/libminisat.so.2.1.0
/usr/share/doc-base/minisat-user-guide
/usr/share/doc/minisat/changelog.Debian.gz
/usr/share/doc/minisat/copyright
/usr/share/doc/minisat/minisat-user-guide.html
/usr/share/man/man1/minisat.1.gz

See Also

Package Description
minissdpd_1.1.20111007-3_amd64.deb keep memory of all UPnP devices that announced themselves
ministat_20100628-1_amd64.deb a simple tool for statistical comparison of data sets
minit_0.10-5build1_amd64.deb Small but powerful init system
minitube_1.6-1_amd64.deb Native YouTube client
miniupnpc_1.6-3ubuntu1_amd64.deb UPnP IGD client lightweight library client
minlog_4.0.99.20100221-5.2_all.deb Proof assistant based on first order natural deduction calculus
minpack-dev_19961126+dfsg1-1_amd64.deb nonlinear equations and nonlinear least squares static library
mipe_1.1-3_all.deb Tools to store PCR-derived data
mira-assembler_3.4.0.1-1_amd64.deb Whole Genome Shotgun and EST Sequence Assembler
mira-doc_3.4.0.1-1_all.deb documentation for the mira assembler
mira-examples_3.4.0.1-1_all.deb files to experiment with the mira assembler
mirage_0.9.5.1-1.1_amd64.deb fast and simple GTK+ image viewer
miredo-server_1.2.3-1ubuntu1_amd64.deb Teredo IPv6 tunneling server
miredo_1.2.3-1ubuntu1_amd64.deb Teredo IPv6 tunneling through NATs
mirmon_2.4-2_all.deb monitor the state of mirrors
Advertisement
Advertisement