picosat - Lightweight SAT solver

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Unsupported Release i586
Package filename picosat-936-7-omv4000.i686.rpm
Package name picosat
Package version 936
Package release 7-omv4000
Package architecture i686
Package type rpm
Homepage -
License -
Maintainer -
Download size 26.43 KB
Installed size 55.27 KB
The SAT problem is the classical NP complete problem of searching
for a satisfying assignment of a propositional formula in
conjunctive normal form (CNF). General information on SAT can be
found at http://www.satlive.org or http://www.satlib.org.


Package Version Architecture Repository
picosat-936-7-omv4000.x86_64.rpm 936 x86_64 OpenMandriva Unsupported Release
picosat - - -


Name Value
gzip -
libc.so.6(GLIBC_2.7) -
libpicosat trace.so.1
libpicosat.so.1 -
libpicosat1 = 936-7
rtld(GNU_HASH) -


Name Value
picosat = 936-7
picosat(x86-32) = 936-7


Type URL
Mirror abf-downloads.openmandriva.org
Binary Package picosat-936-7-omv4000.i686.rpm
Source Package picosat-936-7.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install picosat rpm package:
    # dnf install picosat



See Also

Package Description
picosat-devel-936-7-omv4000.i686.rpm Development files for PicoSAT
picviz-cli-0.6-3-omv4000.i686.rpm Command-line frontend for picviz
pidgin-lastfm-0.4a-5-omv4000.i686.rpm Last.fm Plugin for Pidgin
pidgin-microblog-0.3.0-2-omv4000.i686.rpm Libpurple plug-in supporting microblog services like Twitter
pidgin-musictracker-0.4.22-4-omv4000.i686.rpm Plugin for Pidgin that displays the current song in the status
pidgin-otr-4.0.2-1-omv4000.i686.rpm Pidgin plugin that implements Off-the-Record Messaging
pidgin-privacy-please-0.7.1-2-omv4000.i686.rpm Pidgin plugin to stop spammers from annoying you
pigment-0.3.17-6-omv4000.i686.rpm User interface library with embedded multimedia
pine2mutt-0.3-10-omv4000.noarch.rpm Makes mutt behave somewhat pine-like
pircbot-1.5.0-2-omv4000.noarch.rpm Java IRC API
pircbot-javadoc-1.5.0-2-omv4000.noarch.rpm Javadoc for pircbot
pisg-0.72-5-omv4000.noarch.rpm An IRC channel statics generator
pius-2.0.9-2-omv4000.noarch.rpm A tool for signing and emailing all UIDs on a set of PGP keys
pkgdiff-1.3.3-2-omv4000.noarch.rpm A tool for analyzing changes in Linux software packages
pklasku-1.0.4-6-omv4000.noarch.rpm Web application to create Finnish invoices