libpicosat-965-alt1.i586.rpm


Advertisement

Description

libpicosat - Shared library of picosat

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename libpicosat-965-alt1.i586.rpm
Package name libpicosat
Package version 965
Package release alt1
Package architecture i586
Package type rpm
Category System/Libraries
Homepage -
License -
Maintainer -
Download size 89.39 KB
Installed size 89.39 KB
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 shared library of picosat.

Alternatives

Package Version Architecture Repository
libpicosat-965-alt1.x86_64.rpm 965 x86_64 Classic
libpicosat - - -

Requires

Name Value
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
rpmlib(PayloadIsLzma) -
rtld(GNU_HASH) -

Provides

Name Value
libpicosat = 965-alt1:sisyphus+225625.55240.91.1
libpicosat.so.0 -

Download

Type URL
Mirror ftp.altlinux.org
Binary Package libpicosat-965-alt1.i586.rpm
Source Package picosat-965-alt1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus i586 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 rpm package:
    # sudo apt-get install libpicosat

Files

Path
/usr/lib/libpicosat.so.0

Changelog

2019-04-11 - Grigory Ustinov <grenka@altlinux.org> 965-alt1
- Build new version.
2018-03-22 - Aleksei Nikiforov <darktemplar@altlinux.org> 960-alt2.1.1
- (NMU) Rebuilt with python-3.6.4.
2016-03-17 - Ivan Zakharyaschev <imz@altlinux.org> 960-alt2.1
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
(for ABI dependence and new python3(*) reqs)
2015-03-17 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 960-alt2
- Applied patch from https://github.com/pysmt/pysmt/tree/master/patches
for Python bindings
2015-03-17 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 960-alt1
- Initial build for Sisyphus

See Also

Package Description
libpicosat-devel-965-alt1.i586.rpm Development files of picosat
libpimdataexporterprivate5-19.08.1-alt1.i586.rpm kde5-pim-data-exporter library
libpinyin-2.2.2-alt1_1.i586.rpm Library to deal with pinyin
libpinyin-data-2.2.2-alt1_1.i586.rpm Data files for libpinyin
libpinyin-devel-2.2.2-alt1_1.i586.rpm Development files for libpinyin
libpinyin-tools-2.2.2-alt1_1.i586.rpm Tools for libpinyin
libpipeline-1.5.1-alt2_1.i586.rpm A pipeline manipulation library
libpipeline-devel-1.5.1-alt2_1.i586.rpm Header files and libraries for pipeline manipulation library
libpixman-0.38.4-alt1.i586.rpm Pixel manipulation library
libpixman-devel-0.38.4-alt1.i586.rpm Pixel manipulation library development package
libpjsip-2.8-alt1.i586.rpm Libraries for building embedded/non-embedded VoIP applications
libpjsip-devel-2.8-alt1.i586.rpm Development files to use pjproject
libpkcs11-helper-1.25.1-alt7.i586.rpm A library for using PKCS#11 providers
libpkcs11-helper-devel-1.25.1-alt7.i586.rpm Development files for pkcs11-helper
libpki-0.8.9-alt3.git20180603.i586.rpm Library for PKI enabled application development
Advertisement
Advertisement