picosat-936-7-omv4000.x86_64.rpm


Advertisement

Description

picosat - Lightweight SAT solver

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Unsupported Release x86_64
Package filename picosat-936-7-omv4000.x86_64.rpm
Package name picosat
Package version 936
Package release 7-omv4000
Package architecture x86_64
Package type rpm
Homepage -
License -
Maintainer -
Download size 26.74 KB
Installed size 65.84 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.i686.rpm 936 i686 OpenMandriva Unsupported Release
picosat - - -

Requires

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

Provides

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

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package picosat-936-7-omv4000.x86_64.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 --refresh install picosat

Files

Path
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id/
/usr/lib/.build-id/2f/0068af57a9bead382946efa9b5832c0471f5eb
/usr/lib/.build-id/74/c83d66f64ba4741a59ea003d1a756a1fa7693b
/usr/lib/.build-id/a7/8b768c90a8218be0c62ac865824c55f8e3d7a6
/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.x86_64.rpm Development files for PicoSAT
picviz-cli-0.6-3-omv4000.x86_64.rpm Command-line frontend for picviz
pidgin-lastfm-0.4a-5-omv4000.x86_64.rpm Last.fm Plugin for Pidgin
pidgin-microblog-0.3.0-2-omv4000.x86_64.rpm Libpurple plug-in supporting microblog services like Twitter
pidgin-musictracker-0.4.22-4-omv4000.x86_64.rpm Plugin for Pidgin that displays the current song in the status
pidgin-otr-4.0.2-1-omv4000.x86_64.rpm Pidgin plugin that implements Off-the-Record Messaging
pidgin-privacy-please-0.7.1-2-omv4000.x86_64.rpm Pidgin plugin to stop spammers from annoying you
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
pktstat-1.8.5-2-omv4000.x86_64.rpm Displays a live list of active connections and what files are being transferred
Advertisement
Advertisement