picosat_936-4_amd64.deb


Advertisement

Description

picosat - SAT solver with proof and core support

Property Value
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

Package Version Architecture Repository
picosat_936-4_i386.deb 936 i386 Debian Main
picosat - - -

Requires

Name Value
libc6 >= 2.7

Download

Type URL
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

Path
/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)

See Also

Package Description
picprog_1.9.1-2_amd64.deb Microchip PIC serial programmer software
picviz_0.5-1+b1_amd64.deb Parallel coordinates plotter
pida_0.5.1-6_amd64.deb Python Integrated Development Application, a Python IDE
pidentd_3.0.19.ds1-7_amd64.deb TCP/IP IDENT protocol server with DES support
pidgin-audacious_2.0.0-3_amd64.deb pidgin integration with Audacious
pidgin-awayonlock_0.5.2-1_amd64.deb pidgin plugin to set as away on screensaver activation
pidgin-blinklight_0.11.1-1_amd64.deb Blinks your ThinkPad's ThinkLight upon new messages
pidgin-data_2.10.10-1~deb7u1_all.deb multi-protocol instant messaging client - data files
pidgin-dev_2.10.10-1~deb7u1_all.deb multi-protocol instant messaging client - development files
pidgin-encryption_3.1-1_amd64.deb pidgin plugin that provides transparent encryption
pidgin-extprefs_0.7-2_amd64.deb extended preferences plugin for the instant messenger pidgin
pidgin-festival_2.4-2_amd64.deb pidgin plugin to hear incoming messages using voice synthesis
pidgin-gmchess_0.02-1_amd64.deb pidgin integration with gmchess
pidgin-guifications_2.16-2_amd64.deb toaster popups for pidgin
pidgin-hotkeys_0.2.4-1.2_amd64.deb Configurable global hotkeys for pidgin
Advertisement
Advertisement