libpicosat1-936-12.mga6.i586.rpm


Advertisement

Description

libpicosat1 - A SAT solver library

Distribution: Mageia Cauldron
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

Provides

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

    Download

    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

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

    Changelog

    Advertisement
    Advertisement