picosat-936-7-omv4000.i686.rpm


Advertisement

Description

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.

Alternatives

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

Requires

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

Provides

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

Download

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

Files

Path
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id/
/usr/lib/.build-id/81/dc7db59dd8d5b19c9fdc966dbf61bd3cd1f250
/usr/lib/.build-id/ab/ba17e99a934f16c3b9fce01088717282095cee
/usr/lib/.build-id/db/e75b93dd58989158b223870430b04ad6bd111a
/usr/share/man/man1/picomus.1.xz
/usr/share/man/man1/picosat.1.xz
/usr/share/man/man1/picosat.trace.1.xz

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
Advertisement
Advertisement