picosat_960-1build1_i386.deb


Advertisement

Description

picosat - SAT solver with proof and core support

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe i386
Package filename picosat_960-1build1_i386.deb
Package name picosat
Package version 960
Package release 1build1
Package architecture i386
Package type deb
Category universe/science
Homepage http://fmv.jku.at/picosat/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 118.52 KB
Installed size 702.00 KB
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_960-1build1_amd64.deb 960 amd64 Ubuntu Universe
picosat - - -

Requires

Name Value
libc6 >= 2.7

Download

Type URL
Mirror archive.ubuntu.com
Binary Package picosat_960-1build1_i386.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/copyright
/usr/share/man/man1/picomus.1.gz
/usr/share/man/man1/picosat.1.gz
/usr/share/man/man1/picosat.trace.1.gz

Changelog

2018-04-03 - Balint Reczey <rbalint@ubuntu.com>
picosat (960-1build1) bionic; urgency=high
* No change rebuild to pick up -fPIE compiler default
2014-11-08 - Michael Tautschnig <mt@debian.org>
picosat (960-1) unstable; urgency=low
* New upstream version
2014-06-28 - Michael Tautschnig <mt@debian.org>
picosat (959-1) unstable; urgency=low
* New upstream version
* Bumped standards version to 3.9.5 (no changes)
2012-12-20 - Michael Tautschnig <mt@debian.org>
picosat (954-1) unstable; urgency=low
* New upstream version (closes: #696246)
2012-12-02 - Michael Tautschnig <mt@debian.org>
picosat (953-2) unstable; urgency=low
* Actually bump standards version to 3.9.4
* Added symbol files
2012-12-02 - Michael Tautschnig <mt@debian.org>
picosat (953-1) unstable; urgency=low
* Bumped standards version to 3.9.4 (no changes)
* New upstream version (closes: #694592)
* Converted debian/copyright to DEP-5
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)

See Also

Package Description
picprog_1.9.1-3build1_i386.deb Microchip PIC serial programmer software
pictor-unload_2.38-0ubuntu2_all.deb tool for unloading and renaming pictures from flash media
pictor_2.38-0ubuntu2_all.deb web application for browsing your pictures
picviz_0.5-1ubuntu1_i386.deb Parallel coordinates plotter
pid1_0.1.2.0-1_i386.deb signal handling and orphan reaping for Unix PID1 init processes
pidcat_2.1.0-2_all.deb Colored adb logcat that shows entries for specific apps
pidentd_3.0.19.ds1-8_i386.deb TCP/IP IDENT protocol server with DES support
pidgin-audacious_2.0.0-5ubuntu2_i386.deb pidgin integration with Audacious
pidgin-awayonlock_0.5.2-1_i386.deb pidgin plugin to set as away on screensaver activation
pidgin-blinklight_0.11.1-3build1_i386.deb Blinks your ThinkPad's ThinkLight upon new messages
pidgin-bot-sentry_1.3.0-0ubuntu1_i386.deb pidgin anti spam plugin
pidgin-data_2.12.0-1ubuntu4_all.deb multi-protocol instant messaging client - data files
pidgin-dev_2.12.0-1ubuntu4_all.deb multi-protocol instant messaging client - development files
pidgin-encryption_3.1-1.1build1_i386.deb pidgin plugin that provides transparent encryption
pidgin-extprefs_0.7-2ubuntu1_i386.deb extended preferences plugin for the instant messenger pidgin
Advertisement
Advertisement