picosat - A SAT solver

Property Value
Distribution CentOS 6
Repository EPEL Testing i386
Package filename picosat-965-2.el6.i686.rpm
Package name picosat
Package version 965
Package release 2.el6
Package architecture i686
Package type rpm
Homepage http://fmv.jku.at/picosat/
License MIT
Maintainer -
Download size 27.83 KB
Installed size 71.83 KB
PicoSAT solves the SAT problem, which is the classical NP complete
problem of searching for a satisfying assignment of a propositional
formula in conjunctive normal form (CNF).  PicoSAT can generate proofs
and cores in memory by compressing the proof trace.  It supports the
proof format of TraceCheck.


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


Name Value
bzip2 -
gzip -
libc.so.6(GLIBC_2.3.4) -
libpicosat-trace.so.0 -
libpicosat.so.0 -
picosat-libs(x86-32) = 965-2.el6
rtld(GNU_HASH) -


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


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package picosat-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 rpm package:
    # yum --enablerepo=epel-testing install picosat




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-R-965-2.el6.i686.rpm A SAT solver library for R
picosat-devel-965-2.el6.i686.rpm Development files for PicoSAT
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
potrace-1.16-1.el6.i686.rpm Transform bitmaps into vector graphics
potrace-devel-1.16-1.el6.i686.rpm Potrace development library and headers
potrace-doc-1.16-1.el6.noarch.rpm Documentation on how to use the potrace library
prosody-0.11.3-1.el6.i686.rpm Flexible communications server for Jabber/XMPP
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