picosat_965-1_i386.deb


Advertisement

Description

picosat - SAT solver with proof and core support

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename picosat_965-1_i386.deb
Package name picosat
Package version 965
Package release 1
Package architecture i386
Package type deb
Category field::mathematics implemented-in::c role::program science
Homepage http://fmv.jku.at/picosat/
License -
Maintainer Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Download size 95.96 KB
Installed size 882.00 KB

Alternatives

Package Version Architecture Repository
picosat_965-1_amd64.deb 965 amd64 Debian Main
picosat - - -

Requires

Name Value
libc6 >= 2.7

Download

Type URL
Mirror ftp.br.debian.org
Binary Package picosat_965-1_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/i386-linux-gnu/libpicosat-trace.a
/usr/lib/i386-linux-gnu/libpicosat-trace.so
/usr/lib/i386-linux-gnu/libpicosat-trace.so.1
/usr/lib/i386-linux-gnu/libpicosat-trace.so.1.0.0
/usr/lib/i386-linux-gnu/libpicosat.a
/usr/lib/i386-linux-gnu/libpicosat.so
/usr/lib/i386-linux-gnu/libpicosat.so.1
/usr/lib/i386-linux-gnu/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

2019-08-20 - Andreas Tille <tille@debian.org>
picosat (965-1) unstable; urgency=medium
* Team upload.
* Move packaging to Debian Science team
* debhelper-compat 12
* Standards-Version: 4.4.0
* Secure URI in copyright format
* Remove old boilerplate from debian/rules
* Trim trailing whitespace.
* Set upstream metadata fields: Contact, Name.
* d/rules: Use default flags
* Split patch into logical pieces
* Multiarch location for libraries
* Fix symbols file
* Hardening
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-4_i386.deb Microchip PIC serial programmer software
pid1_0.1.2.0-3+b3_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
pidgin-audacious_2.0.0-6_i386.deb pidgin integration with Audacious
pidgin-awayonlock_0.5.2-1+b1_i386.deb pidgin plugin to set as away on screensaver activation
pidgin-blinklight_0.11.1-3+b1_i386.deb Blinks your ThinkPad's ThinkLight upon new messages
pidgin-data_2.13.0-2.2_all.deb multi-protocol instant messaging client - data files
pidgin-dev_2.13.0-2.2_all.deb multi-protocol instant messaging client - development files
pidgin-encryption_3.1-1.1+b1_i386.deb pidgin plugin that provides transparent encryption
pidgin-extprefs_0.7-3_i386.deb extended preferences plugin for the instant messenger pidgin
pidgin-festival_2.4-3+b1_i386.deb pidgin plugin to hear incoming messages using voice synthesis
pidgin-gnome-keyring_2.0-2_i386.deb integrates pidgin (and libpurple) with the system keyring
pidgin-guifications_2.16-2+b2_i386.deb toaster popups for pidgin
pidgin-hotkeys_0.2.4-1.3_i386.deb Configurable global hotkeys for pidgin
pidgin-lastfm_0.4a-2_all.deb Last.fm plugin for Pidgin
Advertisement
Advertisement