--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2010-7432
2010-04-27 05:44:30
--------------------------------------------------------------------------------
Name : sat4j
Product : Fedora 13
Version : 2.1.1
Release : 2.fc13
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:
The Eclipse project produces 2 "service release"s each year. Eclipse 3.5.2 is
the second and final service release in the 3.5.x series. It is purely a bug
fix release. SAT4J 2.1.1 is required by Eclipse 3.5.2.
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------