picosat-devel - Development files for PicoSAT

Property Value
Distribution CentOS 6
Repository EPEL Testing i386
Package filename picosat-devel-965-2.el6.i686.rpm
Package name picosat-devel
Package version 965
Package release 2.el6
Package architecture i686
Package type rpm
Homepage http://fmv.jku.at/picosat/
License MIT
Maintainer -
Download size 14.43 KB
Installed size 28.00 KB
Headers and other development files for PicoSAT.


Package Version Architecture Repository
picosat-devel-965-2.el6.x86_64.rpm 965 x86_64 EPEL Testing
picosat-devel-965-2.el6.i686.rpm 965 i686 EPEL Testing
picosat-devel-960-2.el6.x86_64.rpm 960 x86_64 EPEL
picosat-devel-960-2.el6.i686.rpm 960 i686 EPEL
picosat-devel-960-2.el6.i686.rpm 960 i686 EPEL
picosat-devel - - -


Name Value
libpicosat-R.so.0 -
libpicosat-trace.so.0 -
libpicosat.so.0 -
picosat-R(x86-32) = 965-2.el6
picosat-libs(x86-32) = 965-2.el6


Name Value
picosat-devel = 965-2.el6
picosat-devel(x86-32) = 965-2.el6


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package picosat-devel-965-2.el6.i686.rpm
Source Package picosat-965-2.el6.src.rpm

Install Howto

  1. Download latest epel-release rpm from
  2. Install epel-release rpm:
    # rpm -Uvh epel-release*rpm
  3. Install picosat-devel rpm package:
    # yum --enablerepo=epel-testing install picosat-devel




2016-02-04 - Fedora Release Engineering <releng@fedoraproject.org> - 965-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-01-13 - Jerry James <loganjerry@gmail.com> - 965-1
- New upstream release
- Drop -proof-access patch now that csisat has been retired
- Add a library built for R support
2015-06-18 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 960-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-11-07 - Jerry James <loganjerry@gmail.com> - 960-1
- New upstream release
- Drop upstreamed -alias patch
- Fix license handling
2014-08-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 957-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-07 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 957-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-07-31 - Jerry James <loganjerry@gmail.com> - 957-1
- New upstream release
- Remove comment that was being pulled into postun
2013-02-14 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 951-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2012-08-20 - Jerry James <loganjerry@gmail.com> - 951-1
- New upstream release
2012-07-21 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 936-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

See Also

Package Description
picosat-libs-965-2.el6.i686.rpm A SAT solver library
pidgin-sipe-1.25.0-1.el6.i686.rpm Pidgin protocol plugin to connect to MS Office Communicator
postgresql-pgpool-II-3.2.16-1.el6.i686.rpm Pgpool is a connection pooling/replication server for PostgreSQL
postgresql-pgpool-II-devel-3.2.16-1.el6.i686.rpm The development files for pgpool-II
postgresql-pgpool-II-recovery-3.2.16-1.el6.i686.rpm PGPool recovery add-on for PostgreSQL
pspg-2.1.3-1.el6.i686.rpm A unix pager optimized for psql
ptrash-1.1-1.el6.i686.rpm Move file(s) to $XDG_DATA_HOME/Trash directory
purple-sipe-1.25.0-1.el6.i686.rpm Libpurple protocol plugin to connect to MS Office Communicator
python-copr-doc-1.98-1.el6.noarch.rpm Code documentation for python-copr package
python-dmlite-1.13.2-2.el6.i686.rpm Python wrapper for dmlite
python-libcloud-1.1.0-1.el6.noarch.rpm A Python library to address multiple cloud provider APIs
python-qpid-proton-docs-0.29.0-1.el6.noarch.rpm Documentation for the Python language bindings for Qpid Proton
python-rpm-macros-3-15.el6.noarch.rpm The unversioned Python RPM macros
python-srpm-macros-3-15.el6.noarch.rpm RPM macros for building Python source packages
python2-copr-1.98-1.el6.noarch.rpm Python interface for Copr