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

picosat

SAT solver with proof and core support

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.

PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.

Homepage:
Package version:913-4
Architecture:amd64
Distribution:Debian
Filename:picosat_913-4_amd64.deb

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

PICOSAT(1)                                                PICOSAT(1)



NAME
       picosat - SAT solver with proof and core support

SYNOPSIS
       picosat [options] input-file

DESCRIPTION
       This manual page documents briefly the picosat command.

       picosat is a SAT solver with proof and core capabilities. Use
       the picosat.trace binary to actually use  these  capabilities
      
more»

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

picosat (913-4) unstable; urgency=low

  * Install picosat.h and libpicosat.{a,so}, thanks Pietro Abate for most of
    the necessary patch (closes: #576364).
  * Cleanup debian/rules and add support for building dynamic libraries. 

 -- Michael Tautschnig <mt@debian.org>  Sun, 04 Apr 2010 00:36:27 +0200

picosat (913-2) unstable; urgency=low

  * Switch to dpkg-source 3.0 (quilt) format
  * Bumpe
more»

/usr/share/doc/picosat/changelog.gz

news for release 91x since 846
------------------------------

* propagation of binary clauses until completion

* fixed API usage 'assume;sat;sat'

* literals move to front (LMTF) during traversal of visited clauses

* switched from inner/outer to Luby style restart scheduling

* less agressive reduce schedule

* replaced watched literals with head and tail pointers

* add 'picosat_failed_assumpt
more»

/usr/share/doc/picosat/copyright

This package was debianized by Michael Tautschnig <mt@debian.org> on
Sun,  8 Jun 2008 13:08:48 +0200
more»

Browse inside picosat_913-4_amd64.deb

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

Download picosat_913-4_amd64.deb

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