Fedora 15 Update: sat4j-2.3.0-2.fc15

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2011-6135
2011-04-28 18:56:07
--------------------------------------------------------------------------------

Name        : sat4j
Product     : Fedora 15
Version     : 2.3.0
Release     : 2.fc15
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.

--------------------------------------------------------------------------------
Update Information:

This fixes a major issue with Eclipse.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #684894 - Dropins content not loaded
        https://bugzilla.redhat.com/show_bug.cgi?id=684894
  [ 2 ] Bug #698434 - p2 UI-installed plugins not added to installation
        https://bugzilla.redhat.com/show_bug.cgi?id=698434
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update sat4j' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------