lib64picosat1-936-7-omv4000.x86_64.rpm


Advertisement

Description

lib64picosat1 - A SAT solver library

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

Requires

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

Provides

Name Value
lib64picosat1 = 936-7
lib64picosat1(x86-64) = 936-7
libpicosat trace.so.1()(64bit)
libpicosat.so.1()(64bit) -

Download

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

Files

Path
/usr/lib/.build-id/
/usr/lib/.build-id/97/6ae71537d66a8251dc461b3756b8e1adbb0970
/usr/lib/.build-id/ac/1f7b60f89dc426edfb698f9bae5be2584dc64b
/usr/lib64/libpicosat-trace.so.1
/usr/lib64/libpicosat-trace.so.1.0.936
/usr/lib64/libpicosat.so.1
/usr/lib64/libpicosat.so.1.0.936
/usr/share/doc/lib64picosat1/LICENSE
/usr/share/doc/lib64picosat1/NEWS

See Also

Package Description
lib64plasticfs-devel-1.11-3-omv4000.x86_64.rpm Development libraries for the Plastic File System
lib64plasticfs0-1.11-3-omv4000.x86_64.rpm Libraries for the Plastic File System
lib64pluma-gir1.0-1.22.1-1-omv4000.x86_64.rpm GObject Introspection interface library for pluma
lib64polyclipping-devel-6.2.1-1-omv4000.x86_64.rpm Development files for polyclipping
lib64polyclipping19-6.2.1-1-omv4000.x86_64.rpm Polygon clipping library
lib64portmidi-devel-217-5-omv4000.x86_64.rpm Development files for PortMidi
lib64portmidi0-217-5-omv4000.x86_64.rpm Real-time MIDI input/output, audio I/O library
lib64ppd-devel-0.10-17-omv4000.x86_64.rpm Headers and links to compile against the "lib64ppd1" library
lib64ppd1-0.10-17-omv4000.x86_64.rpm Library for handling PPD (PostScript Printer Description) files
lib64pythia-devel-8.1-7-omv4000.x86_64.rpm Pythia runtime and development files
lib64qdbm-devel-1.8.77-5-omv4000.x86_64.rpm Headers of qdbm for development
lib64qdbm14-1.8.77-5-omv4000.x86_64.rpm QDBM library
lib64qdecoder-devel-12.0.5-2-omv4000.x86_64.rpm Development files for qDecoder
lib64qdecoder12-12.0.5-2-omv4000.x86_64.rpm Development files for qDecoder
lib64qmmp-devel-1.2.6-1-omv4000.x86_64.rpm Development files for qmmp
Advertisement
Advertisement