libpicosat-devel-960-alt2.1.1.x86_64.rpm


Advertisement

Description

libpicosat-devel - Development files of picosat

Property Value
Distribution ALT Linux Sisyphus
Repository Classic x86_64
Package name libpicosat-devel
Package version 960
Package release alt2.1.1
Package architecture x86_64
Package type rpm
Installed size 27.75 KB
Download size 27.75 KB
Official Mirror ftp.altlinux.org
The SAT problem is the classical NP complete problem of searching for a
satisfying assignment of a propositional formula in conjunctive normal
form (CNF). General information on SAT can be found at www.satlive.org
or www.satlib.org.
This package contains development files of picosat.

Alternatives

Package Version Architecture Repository
libpicosat-devel-960-alt2.1.1.i586.rpm 960 i586 Classic
libpicosat-devel - - -

Requires

Name Value
libpicosat = 960-alt2.1.1
rpmlib(PayloadIsLzma) -

Provides

Name Value
libpicosat-devel = 960-alt2.1.1

Download

Type URL
Binary Package libpicosat-devel-960-alt2.1.1.x86_64.rpm
Source Package picosat-960-alt2.1.1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install libpicosat-devel rpm package:
    # sudo apt-get install libpicosat-devel

Files

Path
/usr/include/config.h
/usr/include/picosat.h
/usr/lib64/libpicosat.so

Changelog

See picosat-960-alt2.1.1.x86_64.rpm changelog.

See Also

Package Description
libpilot-link-0.12.5-alt3.1.1.1.1.qa1.x86_64.rpm Shared libraries to use pilot-link
libpilot-link-devel-0.12.5-alt3.1.1.1.1.qa1.x86_64.rpm PalmPilot development files
libpimcommon4-4.14.10-alt7.S1.x86_64.rpm kde4pim library
libpimsettingexporterprivate4-4.14.10-alt7.S1.x86_64.rpm kde4pim library
libpimsettingexporterprivate5-18.04.3-alt1.S1.x86_64.rpm kde5-pim-data-exporter library
libpinyin-2.2.1-alt1_1.x86_64.rpm Library to deal with pinyin
libpinyin-data-2.2.1-alt1_1.x86_64.rpm Data files for libpinyin
libpinyin-devel-2.2.1-alt1_1.x86_64.rpm Development files for libpinyin
libpinyin-tools-2.2.1-alt1_1.x86_64.rpm Tools for libpinyin
libpipeline-1.5.0-alt1_5.x86_64.rpm A pipeline manipulation library
libpipeline-devel-1.5.0-alt1_5.x86_64.rpm Header files and libraries for pipeline manipulation library
libpixman-0.34.0-alt1.x86_64.rpm Pixel manipulation library
libpixman-devel-0.34.0-alt1.x86_64.rpm Pixel manipulation library development package
libpjsip-2.8-alt1.x86_64.rpm Libraries for building embedded/non-embedded VoIP applications
libpjsip-devel-2.8-alt1.x86_64.rpm Development files to use pjproject
Advertisement
Advertisement