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:936-4
Architecture:amd64
Distribution:Debian
Filename:picosat_936-4_amd64.deb

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

PICOMUS(1)                                                PICOMUS(1)



NAME
       picomus - simple minimal unsatisfiable core extractor

SYNOPSIS
       picomus [options] [ input-file [ output-file ] ]

DESCRIPTION
       This manual page documents briefly the picomus command.

       picomus is a SAT solver that uses the PicoSAT library to gen‐
       erate a 'minimal unsatisfiable core' also
more»

/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 (936-4) unstable; urgency=low

  * Bumped standards version to 3.9.3 (no changes)
  * Really ship the picomus binary (closes: #635114)
  * Converted debian/copyright to DEP-5

 -- Michael Tautschnig <mt@debian.org>  Sat, 03 Mar 2012 22:55:43 +0000

picosat (936-3) unstable; urgency=low

  * Ship picomus binary for computing minimal unsatisfiying cores
    (closes: #635114)
  * Bumped stand
more»

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

news for release 936 since 935
------------------------------

* simple minimal unsatisfiable core (
more»

/usr/share/doc/picosat/copyright

Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: PicoSAT
Ups
more»

Browse inside picosat_936-4_amd64.deb

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

Download picosat_936-4_amd64.deb

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