picosat - SAT solver with proof and core support

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name picosat
Package version 936
Package release 3
Package architecture amd64
Package type deb
Installed size 637 B
Download size 250.73 KB
Official Mirror archive.ubuntu.com
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.


Package Version Architecture Repository
picosat_936-3_i386.deb 936 i386 Ubuntu Universe
picosat - - -


Name Value
libc6 >= 2.4


Type URL
Binary Package picosat_936-3_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



See Also

Package Description
picprog_1.9.1-2_amd64.deb Microchip PIC serial programmer software
pictor-unload_2.19-0ubuntu1_all.deb a tool for unloading and renaming pictures from flash media
pictor_2.19-0ubuntu1_all.deb a web application for browsing your pictures
picviz_0.5-1build1_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-2_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-bot-sentry_1.3.0-0ubuntu1_amd64.deb pidgin anti spam plugin
pidgin-encryption_3.1-1_amd64.deb pidgin plugin that provides transparent encryption
pidgin-extprefs_0.7-2ubuntu1_amd64.deb extended preferences plugin for the instant messenger pidgin
pidgin-facebookchat_1.69-2ubuntu2_amd64.deb Facebook Chat plugin for 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