libpicosat1-936-12.mga6.i586.rpm


Advertisement

Description

libpicosat1 - A SAT solver library

Property Value
Distribution Mageia 6.1
Repository Mageia Core i586
Package name libpicosat1
Package version 936
Package release 12.mga6
Package architecture i586
Package type rpm
Installed size 66.48 KB
Download size 38.97 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -

Provides

Name Value
libpicosat.so.1 -
libpicosat1 == 936-12.mga6
libpicosat1(x86-32) == 936-12.mga6

Download

Type URL
Binary Package libpicosat1-936-12.mga6.i586.rpm
Source Package picosat-936-12.mga6.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install libpicosat1 rpm package:
    # urpmi libpicosat1

Files

Path
/usr/lib/libpicosat.so.1
/usr/lib/libpicosat.so.1.0.936
/usr/share/doc/libpicosat1/LICENSE
/usr/share/doc/libpicosat1/NEWS

Changelog

See picosat-936-12.mga6.i586.rpm changelog.

See Also

Package Description
libpigmentcms15-3.0.0.1-5.mga6.i586.rpm Calligra core library
libpils2-1.0.11-9.mga6.i586.rpm Reusable cluster libraries
libpimsettingexporterprivate5-16.12.3-5.mga6.i586.rpm KDEPIM library
libpinyin-data-2.0.0-1.mga6.i586.rpm Data files for libpinyin
libpinyin-devel-2.0.0-1.mga6.i586.rpm Development files for libpinyin
libpinyin-tools-2.0.0-1.mga6.i586.rpm Tools for libpinyin
libpinyin11-2.0.0-1.mga6.i586.rpm Shared library for libpinyin
libpipeline-devel-1.4.1-2.mga6.i586.rpm Header files and libraries for pipeline manipulation library
libpipeline1-1.4.1-2.mga6.i586.rpm Pipeline manipulation library
libpisock-devel-0.12.5-26.mga6.i586.rpm PalmPilot development header files
libpisock9-0.12.5-26.mga6.i586.rpm Libraries needed to use pilot-link
libpisync1-0.12.5-26.mga6.i586.rpm Libraries needed to use pilot-link
libpixman-devel-0.34.0-1.mga6.i586.rpm Libraries and include files for developing with libpixman
libpixman1_0-0.34.0-1.mga6.i586.rpm Pixel manipulation library
libpjproject-devel-2.5.5-4.mga6.i586.rpm Development files to use pjproject
Advertisement
Advertisement