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

minisat2

Fast and lightweight SAT solver

Variants:
Despite the NP completeness of the satisfiabilty 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.

Homepage:
Package version:1:2.2.0-2
Architecture:amd64
Distribution:Debian
Filename:minisat2_2.2.0-2_amd64.deb

/usr/share/man/man1/minisat2.1.gz

MINISAT2(1)                                              MINISAT2(1)



NAME
       minisat2 - fast and lightweight SAT solver

SYNOPSIS
       minisat2 [options] input-file result-output-file

DESCRIPTION
       This manual page documents briefly the minisat2 command. Min‐
       iSat is a minimalistic, open-source SAT solver, developed  to
       help  researchers and developers alike to get s
more»

/usr/share/doc/minisat2/changelog.Debian.gz

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

  * Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
  * Fix FTBFS due to undefined memUsedPeak (closes: #590255).

 -- Michael Tautschnig <mt@debian.org>  Sun, 25 Jul 2010 22:02:54 +0200

minisat2 (1:2.2.0-1) unstable; urgency=low

  * New upstream version.
    - Introduced epoch as new versioning scheme is in use.
    - Added Vcs-Gi
more»

/usr/share/doc/minisat2/changelog.gz

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
more»

/usr/share/doc/minisat2/copyright

This package was debianized by Michael Tautschnig <mt@debian.org> on
Sat,  7 Jun 2008 17:10:44 +0200
more»

Browse inside minisat2_2.2.0-2_amd64.deb

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

Download minisat2_2.2.0-2_amd64.deb

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