[ol7_software_collections] devtoolset-4-sat4j-2.3.5-6.1.el7.noarch

Name:	devtoolset-4-sat4j
Version:	2.3.5
Release:	6.1.el7
Architecture:	noarch
Group:	Unspecified
Size:	568428
License:	EPL or LGPLv2
RPM:	devtoolset-4-sat4j-2.3.5-6.1.el7.noarch.rpm
Source RPM:	devtoolset-4-sat4j-2.3.5-6.1.el7.src.rpm
Build Date:	Tue Jun 07 2016
Build Host:	x86-ol7-builder-01.us.oracle.com
Vendor:	Oracle America
URL:	http://www.sat4j.org/
Summary:	A library of SAT solvers written in Java
Description:	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.

Tue Jun 23 2015 Mat Booth <mat.booth@redhat.com> - 2.3.5-6.1
```
- Import latest from Fedora
```
Mon Jun 22 2015 Mat Booth <mat.booth@redhat.com> - 2.3.5-6
```
- Remove SCL macros and tidy spec
```
Fri Jun 19 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-5
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
```
Sun Jun 08 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-4
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
```
Fri Feb 21 2014 Alexander Kurtakov <akurtako@redhat.com> 2.3.5-3
```
- Remove useless parts.
- Require java-headless.
```
Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
```
Wed May 29 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.5-1
```
- Update to latest upstream.
```
Fri May 10 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.4-1
```
- Update to latest upstream.
```
Wed Apr 17 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.3-7
```
- Remove jars from source.
```
Fri Apr 05 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.0-6
```
- Update to 2.3.3
- Initial sclization.
```