Filewatcher File Search File Search
Content Search
» » » » »


Fast and lightweight SAT solver

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.

Package version:1:2.2.1-3


MINISAT(1)                                                MINISAT(1)

       minisat - fast and lightweight SAT solver

       minisat [options] input-file result-output-file

       minisat  takes  as  input a plain or gzipped DIMACS formatted
       file. The satisfiability of this input problem  is  indicated
       both via standard output and the return value.



minisat2 (1:2.2.1-3) unstable; urgency=low

  * Updated man page (closes: #638217)

 -- Michael Tautschnig <>  Sat, 03 Sep 2011 21:03:43 +0100

minisat2 (1:2.2.1-2) unstable; urgency=low

  * Include headers from simp/ directory in package
  * Bumped standards version to 3.9.2 (no changes)

 -- Michael Tautschnig <>  Mon, 13 Jun 2011 15:13:41 +0200

minisat2 (1:2.2.1-1) u


Release Notes for MiniSat 2.2.0

Changes since version 2.0:

 * Started using a more standard release numbering.

 * Includes some now well-known heuristics: phase-saving and luby
   restarts. The old heuristics are still present and can be activated
   if needed.

 * Detection/Handling of out-of-memory and vector capacity
   overflow. This is fairly new and relativ


This package was debianized by Michael Tautschnig <> on
Sat,  7 Jun 2008 17:10:44 +0200

Browse inside minisat_2.2.1-3_amd64.deb

         [DIR]DEBIAN/ (5)  65535+ mirrors
         [DIR]usr/ (4)  65535+ mirrors

Download minisat_2.2.1-3_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017