libpicosat1-936-7-omv4000.i686.rpm


Advertisement

Description

libpicosat1 - A SAT solver library

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Unsupported Release i586
Package filename libpicosat1-936-7-omv4000.i686.rpm
Package name libpicosat1
Package version 936
Package release 7-omv4000
Package architecture i686
Package type rpm
Homepage -
License -
Maintainer -
Download size 42.35 KB
Installed size 102.66 KB
The PicoSAT library, which contains routines that solve the SAT problem.
The library has a simple API which is similar to that of previous
solvers by the same authors.

Alternatives

Package Version Architecture Repository
libpicosat1 - - -

Requires

Name Value
/sbin/ldconfig -
libc.so.6(GLIBC_2.4) -
rtld(GNU_HASH) -

Provides

Name Value
libpicosat trace.so.1
libpicosat.so.1 -
libpicosat1 = 936-7
libpicosat1(x86-32) = 936-7

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package libpicosat1-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 libpicosat1 rpm package:
    # dnf --refresh install libpicosat1

Files

Path
/usr/lib/libpicosat-trace.so.1
/usr/lib/libpicosat-trace.so.1.0.936
/usr/lib/libpicosat.so.1
/usr/lib/libpicosat.so.1.0.936
/usr/lib/.build-id/
/usr/lib/.build-id/61/0690a9efb727d150afef749c50d6bf2d38c733
/usr/lib/.build-id/cc/bb0c52a86ebabd43edc65641e2035cc6b0eb73
/usr/share/doc/libpicosat1/LICENSE
/usr/share/doc/libpicosat1/NEWS

See Also

Package Description
libpigment-devel-0.3.17-6-omv4000.i686.rpm Development headers for shared library of Pigment
libpigment0.3_11-0.3.17-6-omv4000.i686.rpm Shared library of Pigment
libplasticfs-devel-1.11-3-omv4000.i686.rpm Development libraries for the Plastic File System
libplasticfs0-1.11-3-omv4000.i686.rpm Libraries for the Plastic File System
libpluma-gir1.0-1.22.1-1-omv4000.i686.rpm GObject Introspection interface library for pluma
libpolyclipping-devel-6.2.1-1-omv4000.i686.rpm Development files for polyclipping
libpolyclipping19-6.2.1-1-omv4000.i686.rpm Polygon clipping library
libportmidi-devel-217-5-omv4000.i686.rpm Development files for PortMidi
libportmidi0-217-5-omv4000.i686.rpm Real-time MIDI input/output, audio I/O library
libportmixer0-18.1-9-omv4000.i686.rpm Shared PortMixer library
libportmixer0-devel-18.1-9-omv4000.i686.rpm Static library and header files for the PortMixer library
libppd-devel-0.10-17-omv4000.i686.rpm Headers and links to compile against the "libppd1" library
libppd1-0.10-17-omv4000.i686.rpm Library for handling PPD (PostScript Printer Description) files
libpythia-devel-8.1-7-omv4000.i686.rpm Pythia runtime and development files
libqdbm-devel-1.8.77-5-omv4000.i686.rpm Headers of qdbm for development
Advertisement
Advertisement