[ol7_software_collections] devtoolset-3-sat4j-2.3.5-1.el7.noarch

Name:	devtoolset-3-sat4j
Version:	2.3.5
Release:	1.el7
Architecture:	noarch
Group:	Development/Libraries
Size:	568921
License:	EPL or LGPLv2
RPM:	devtoolset-3-sat4j-2.3.5-1.el7.noarch.rpm
Source RPM:	devtoolset-3-sat4j-2.3.5-1.el7.src.rpm
Build Date:	Tue Jun 02 2015
Build Host:	x86-ol7-builder-03.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.

Thu May 30 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.5-1
```
- Update to latest upstream.
```
Tue May 21 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.4-1
```
- Rebase to latest f19 version.
```
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.
```
Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-5
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
```
Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-4
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
```
Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-3
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
```

Thu Aug 25 2011 Andrew Overholt <overholt@redhat.com> 2.3.0-2

- Make 1.5-level bytecode.  This enables bootstrapping of Eclipse
  with OpenJDK 7.

Mon Apr 04 2011 Chris Aniszczyk <zx@redhat.com> 2.3.0-1
```
- Update to 2.3.0.
```
Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.2.0-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
```