libpicosat-devel - Development files of picosat

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename libpicosat-devel-965-alt1.i586.rpm
Package name libpicosat-devel
Package version 965
Package release alt1
Package architecture i586
Package type rpm
Category Development/C
Homepage -
License -
Maintainer -
Download size 28.12 KB
Installed size 28.12 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
This package contains development files of picosat.


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


Name Value
libpicosat = 965-alt1:sisyphus+225625.55240.91.1
rpmlib(PayloadIsLzma) -


Name Value
libpicosat-devel = 965-alt1:sisyphus+225625.55240.91.1


Type URL
Binary Package libpicosat-devel-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] i586 classic
    rpm [Sisyphus] noarch classic
  2. Update the package index:
    # sudo apt-get update
  3. Install libpicosat-devel rpm package:
    # sudo apt-get install libpicosat-devel




2019-04-11 - Grigory Ustinov <> 965-alt1
- Build new version.
2018-03-22 - Aleksei Nikiforov <> 960-alt2.1.1
- (NMU) Rebuilt with python-3.6.4.
2016-03-17 - Ivan Zakharyaschev <> 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> 960-alt2
- Applied patch from
for Python bindings
2015-03-17 - Eugeny A. Rostovtsev (REAL) <real at> 960-alt1
- Initial build for Sisyphus

See Also

Package Description
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-alt6.i586.rpm A library for using PKCS#11 providers
libpkcs11-helper-devel-1.25.1-alt6.i586.rpm Development files for pkcs11-helper
libpki-0.8.9-alt3.git20180603.i586.rpm Library for PKI enabled application development
libpki-devel-0.8.9-alt3.git20180603.i586.rpm Header files and library for development with LibPKI