picosat-R-965-2.el6.i686.rpm


Advertisement

Description

picosat-R - A SAT solver library for R

Property Value
Distribution CentOS 6
Repository EPEL Testing i386
Package filename picosat-R-965-2.el6.i686.rpm
Package name picosat-R
Package version 965
Package release 2.el6
Package architecture i686
Package type rpm
Homepage http://fmv.jku.at/picosat/
License MIT
Maintainer -
Download size 39.71 KB
Installed size 68.61 KB
The PicoSAT library, which contains routines that solve the SAT problem.
The library has a simple API which is similar to that of previous
solvers by the same authors.  This version of the library is built for
use with R projects.

Alternatives

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

Requires

Name Value
/sbin/ldconfig -
libR.so -
libc.so.6(GLIBC_2.4) -
rtld(GNU_HASH) -

Provides

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

Download

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

Install Howto

  1. Download latest epel-release rpm from
    http://download-ib01.fedoraproject.org/pub/epel/6/i386/
  2. Install epel-release rpm:
    # rpm -Uvh epel-release*rpm
  3. Install picosat-R rpm package:
    # yum --enablerepo=epel-testing install picosat-R

Files

Path
/usr/lib/libpicosat-R.so.0
/usr/lib/libpicosat-R.so.0.0.965
/usr/share/doc/picosat-R-965/LICENSE
/usr/share/doc/picosat-R-965/NEWS

Changelog

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-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
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-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-f5-icontrol-rest-1.3.13-1.el6.noarch.rpm F5 BIG-IP iControl REST API client
Advertisement
Advertisement