picosat-936-7-omv2015.0.x86_64.rpm


Advertisement

Description

picosat - Lightweight SAT solver

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Contrib Release x86_64
Package name picosat
Package version 936
Package release 7-omv2015.0
Package architecture x86_64
Package type rpm
Installed size 62.93 KB
Download size 18.30 KB
Official Mirror abf-downloads.openmandriva.org
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-omv2015.0.i586.rpm 936 i586 OpenMandriva Contrib 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) -

Provides

Name Value
picosat = 936-7

Download

Type URL
Binary Package picosat-936-7-omv2015.0.x86_64.rpm
Source Package picosat-936-7.src.rpm

Install Howto

  1. Enable OpenMandriva Contrib Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install picosat rpm package:
    # urpmi picosat

Files

Path
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/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-omv2015.0.x86_64.rpm Development files for PicoSAT
picviz-cli-0.6-3-omv2015.0.x86_64.rpm Command-line frontend for picviz
pidgin-facebookchat-1.69-1-omv2013.0.x86_64.rpm Libpurple plug-in supporting facebook IM
pidgin-lastfm-0.4a-5-omv2015.0.x86_64.rpm Last.fm Plugin for Pidgin
pidgin-microblog-0.3.0-2-omv2015.0.x86_64.rpm Libpurple plug-in supporting microblog services like Twitter
pidgin-msn-pecan-0.1.3-2-omv2015.0.x86_64.rpm Alternative implementation of the MSN protocol plug-in for libpurple
pidgin-otr-4.0.0-2-omv2015.0.x86_64.rpm Pidgin plugin that implements Off-the-Record Messaging
pidgin-plugin-mrim-0.1.28-3-omv2015.0.x86_64.rpm MRIM Plugin for libpurple and derived IM clients
pigment-0.3.17-6-omv2015.0.x86_64.rpm User interface library with embedded multimedia
pilrc-3.2-6-omv2013.0.x86_64.rpm Takes a resource script file and generates one or more binary resource
pinball-0.3.1-13-omv2013.0.x86_64.rpm Emilia 3d Pinball
pine2mutt-0.3-10-omv2015.0.noarch.rpm Makes mutt behave somewhat pine-like
pingus-0.7.6-5-omv2015.0.x86_64.rpm A free Lemmings clone
pinta-1.4-2-omv2015.0.x86_64.rpm An easy to use drawing and image editing program
pioneers-15.1-2-omv2015.0.x86_64.rpm Playable implementation of the Settlers of Catan
Advertisement
Advertisement