rh-eclipse46-sat4j - A library of SAT solvers written in Java

Property Value
Distribution CentOS 7
Repository CentOS SCLo RH x86_64
Package filename rh-eclipse46-sat4j-2.3.5-8.2.el7.noarch.rpm
Package name rh-eclipse46-sat4j
Package version 2.3.5
Package release 8.2.el7
Package architecture noarch
Package type rpm
Homepage http://www.sat4j.org/
License EPL or LGPLv2
Maintainer -
Download size 509.76 KB
Installed size 554.22 KB
The aim of the SAT4J library is to provide an efficient library of SAT
solvers in Java. The SAT4J library targets first users of SAT "black
boxes", those willing to embed SAT technologies into their application
without worrying about the details.


Package Version Architecture Repository
rh-eclipse46-sat4j-2.3.5-8.2.el7.noarch.rpm 2.3.5 noarch CentOS SCLo RH Testing
rh-eclipse46-sat4j - - -


Name Value
rh-eclipse46-runtime -
rh-java-common-javapackages-tools -


Name Value
rh-eclipse46-osgi(org.sat4j.core) = 2.3.5
rh-eclipse46-osgi(org.sat4j.pb) = 2.3.5
rh-eclipse46-sat4j = 2.3.5-8.2.el7


Type URL
Mirror mirror.centos.org
Binary Package rh-eclipse46-sat4j-2.3.5-8.2.el7.noarch.rpm
Source Package rh-eclipse46-sat4j-2.3.5-8.2.el7.src.rpm

Install Howto

  1. Install CentOS SCLo RH repository:
    yum install centos-release-scl-rh
  2. Install rh-eclipse46-sat4j rpm package:
    # yum install rh-eclipse46-sat4j




2016-08-12 - Mat Booth <mat.booth@redhat.com> - 2.3.5-8.2
- Ensure package requires SCL runtime
2016-07-21 - Mat Booth <mat.booth@redhat.com> - 2.3.5-8.1
- Auto SCL-ise package for rh-eclipse46 collection
2016-02-04 - Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-07-14 - Mikolaj Izdebski <mizdebsk@redhat.com> - 2.3.5-7
- Add build-requires on javapackages-local
2015-06-22 - Mat Booth <mat.booth@redhat.com> - 2.3.5-6
- Remove SCL macros and tidy spec
2015-06-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-06-08 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2014-02-21 - Alexander Kurtakov <akurtako@redhat.com> 2.3.5-3
- Remove useless parts.
- Require java-headless.
2013-08-04 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
2013-05-29 - Krzysztof Daniel <kdaniel@redhat.com> 2.3.5-1
- Update to latest upstream.

See Also

Package Description
rh-eclipse46-scldevel-1-13.el7.x86_64.rpm Development files for the rh-eclipse46 Software Collection
rh-eclipse46-scldevel-1-15.el7.x86_64.rpm Development files for the rh-eclipse46 Software Collection
rh-eclipse46-stringtemplate-3.2.1-12.1.el7.noarch.rpm A Java template engine
rh-eclipse46-stringtemplate-javadoc-3.2.1-12.1.el7.noarch.rpm API documentation for stringtemplate
rh-eclipse46-swt-chart-0.10.0-1.1.el7.noarch.rpm SWTChart Feature
rh-eclipse46-swt-chart-javadoc-0.10.0-1.1.el7.noarch.rpm Javadoc for swt-chart
rh-eclipse46-testng-6.9.12-1.2.el7.noarch.rpm Java-based testing framework
rh-eclipse46-testng-javadoc-6.9.12-1.2.el7.noarch.rpm API documentation for testng
rh-eclipse46-testng-remote-1.1.0-1.2.el7.noarch.rpm Modules for running TestNG remotely
rh-eclipse46-testng-remote-javadoc-1.1.0-1.2.el7.noarch.rpm API documentation for testng-remote
rh-eclipse46-tiger-types-2.2-1.1.el7.noarch.rpm Type arithmetic library for Java5
rh-eclipse46-tiger-types-javadoc-2.2-1.1.el7.noarch.rpm Javadoc for tiger-types
rh-eclipse46-tika-1.11-2.2.el7.noarch.rpm A content analysis toolkit
rh-eclipse46-tika-java7-1.11-2.2.el7.noarch.rpm Apache Tika Java-7 Components
rh-eclipse46-tika-javadoc-1.11-2.2.el7.noarch.rpm Javadoc for tika