libpicosat1-936-11.mga5.i586.rpm


Advertisement

Description

libpicosat1 - A SAT solver library

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name libpicosat1
Package version 936
Package release 11.mga5
Package architecture i586
Package type rpm
Installed size 66.43 KB
Download size 38.64 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-11.mga5
libpicosat1(x86-32) == 936-11.mga5

Download

Type URL
Binary Package libpicosat1-936-11.mga5.i586.rpm
Source Package picosat-936-11.mga5.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-11.mga5.i586.rpm changelog.

See Also

Package Description
libpigment-devel-0.3.17-9.mga5.i586.rpm Development headers for shared library of Pigment
libpigment0.3_11-0.3.17-9.mga5.i586.rpm Shared library of Pigment
libpigmentcms13-2.8.7-1.mga5.i586.rpm Calligra core library
libpils2-1.0.11-7.mga5.i586.rpm Reusable cluster libraries
libpimcommon4-4.14.5-1.mga5.i586.rpm Library to import/export PIM configuration
libpinyin-data-1.0.0-3.mga5.i586.rpm Data files for libpinyin
libpinyin-devel-1.0.0-3.mga5.i586.rpm Development files for libpinyin
libpinyin-tools-1.0.0-3.mga5.i586.rpm Tools for libpinyin
libpinyin4-1.0.0-3.mga5.i586.rpm Shared library for libpinyin
libpisock-devel-0.12.5-22.mga5.i586.rpm PalmPilot development header files
libpisock9-0.12.5-22.mga5.i586.rpm Libraries needed to use pilot-link
libpisync1-0.12.5-22.mga5.i586.rpm Libraries needed to use pilot-link
libpixman-devel-0.32.6-3.mga5.i586.rpm Libraries and include files for developing with libpixman
libpixman1_0-0.32.6-3.mga5.i586.rpm Pixel manipulation library
libpjproject-devel-2.3-1.mga5.i586.rpm Development files to use pjproject
Advertisement
Advertisement