picosat_936-4_amd64.deb


Advertisement

Description

picosat - SAT solver with proof and core support

Distribution: Debian 7 (Wheezy)
Repository: Debian Main amd64
Package name: picosat
Package version: 936
Package release: 4
Package architecture: amd64
Package type: deb
Installed size: 661 B
Download size: 292.39 KB
Official Mirror: ftp.br.debian.org
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.

Alternatives

Requires

    Download

    Binary package: picosat_936-4_amd64.deb
    Source package: picosat

    Install Howto

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

    Files

    • /usr/bin/picomus
    • /usr/bin/picosat
    • /usr/bin/picosat.trace
    • /usr/include/picosat/picosat.h
    • /usr/lib/libpicosat-trace.a
    • /usr/lib/libpicosat-trace.so
    • /usr/lib/libpicosat-trace.so.1
    • /usr/lib/libpicosat-trace.so.1.0.0
    • /usr/lib/libpicosat.a
    • /usr/lib/libpicosat.so
    • /usr/lib/libpicosat.so.1
    • /usr/lib/libpicosat.so.1.0.0
    • /usr/share/doc/picosat/changelog.Debian.gz
    • /usr/share/doc/picosat/changelog.gz
    • /usr/share/doc/picosat/copyright
    • /usr/share/man/man1/picomus.1.gz
    • /usr/share/man/man1/picosat.1.gz
    • /usr/share/man/man1/picosat.trace.1.gz

    Changelog

    2012-03-03 - Michael Tautschnig <mt@debian.org> 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

    2011-08-10 - Michael Tautschnig <mt@debian.org> picosat (936-3) unstable; urgency=low * Ship picomus binary for computing minimal unsatisfiying cores (closes: #635114) * Bumped standards version to 3.9.2 (no changes)

    2011-03-29 - Michael Tautschnig <mt@debian.org> picosat (936-2) unstable; urgency=low * Also build library with trace support as libpicosat-trace.so (closes: #607943).

    2010-08-16 - Michael Tautschnig <mt@debian.org> picosat (936-1) unstable; urgency=low * New upstream release (updated Debian-specific patches) * Bumped standards version to 3.9.1 (no changes)

    2010-04-04 - Michael Tautschnig <mt@debian.org> 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.

    2010-02-05 - Michael Tautschnig <mt@debian.org> picosat (913-2) unstable; urgency=low * Switch to dpkg-source 3.0 (quilt) format * Bumped standards version to 3.8.4 (no changes) * Build additional picosat.trace to have a solver with proof/core support available (closes: #567754)

    2009-11-02 - Michael Tautschnig <mt@debian.org> picosat (913-1) unstable; urgency=low * New upstream release * Bumped standards version to 3.8.3 (no changes) * Extended long description

    2008-10-01 - Michael Tautschnig <mt@debian.org> picosat (846-1) unstable; urgency=low * New upstream release * Added Homepage: to control * Added watch file * Updated man page to reflect new command line options

    2008-06-08 - Michael Tautschnig <mt@debian.org> picosat (632-1) unstable; urgency=low * Initial release (Closes: #485117)

    Advertisement
    Advertisement