[ol6_u8_base] sat4j-2.2.0-4.0.el6.noarch

Name:	sat4j
Version:	2.2.0
Release:	4.0.el6
Architecture:	noarch
Group:	Development/Libraries
Size:	365682
License:	EPL or LGPLv2
RPM:	sat4j-2.2.0-4.0.el6.noarch.rpm
Source RPM:	sat4j-2.2.0-4.0.el6.src.rpm
Build Date:	Thu Mar 31 2011
Build Host:	ca-build19.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.

Changelog (Show File list) (Show related packages)

Tue Dec 14 2010 Chris Aniszczyk <zx@redhat.com> 2.2.0-4

- update to 2.2.0 and move to RHEL 6.1
- removed ecj dependency
- fixed to run against Java 1.5+

Tue Mar 30 2010 Andrew Overholt <overholt@redhat.com> 2.1.1-1.2
```
- Patch out main-in-manifest (akurtakov).
- Fix license tag.
```
Fri Mar 19 2010 Alexander Kurtakov <akurtako@redhat.com> 2.1.1-1.1
```
- Update to 2.1.1.
```
Mon Nov 30 2009 Dennis Gregorovic <dgregor@redhat.com> - 2.1.0-1.1
```
- Rebuilt for RHEL 6
```
Tue Aug 04 2009 Alexander Kurtakov <akurtako@redhat.com> 2.1.0-1
```
- Update to 2.1.0 final.
```
Wed Apr 08 2009 Alexander Kurtakov <akurtako@redhat.com> 2.1.0-0.1.rc2
```
- Update to 2.1.0.RC2.
```
Thu Feb 26 2009 Alexander Kurtakov <akurtako@redhat.com> 2.0.3-1
```
- Update to 2.0.3.
```
Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0.0-8
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
```
Thu Aug 28 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-7
```
- eclipse_base is now libdir/eclipse
```
Tue Jul 15 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-6
```
- Build with OpenJDK (java.util.Scanner)
```
Tue Jul 15 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-5
```
- Use sed instead of dos2unix
```
Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-4
```
- Remove jmock JARs
- Don't run tests as part of build
```
Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-3
```
- Remove Class-Path from pb MANIFEST.MF
```
Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-2
```
- Add eclipse-pde BR for pdebuild script
```
Fri Jun 27 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-1
```
- 2.0.0
- Run tests
```
Thu Mar 13 2008 Andrew Overholt <overholt@redhat.com> 2.0-0.1.RC5
```
- Initial version
```