Fedora 19 Update: sat4j-2.3.4-1.fc19

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-8126
2013-05-14 03:29:32
--------------------------------------------------------------------------------

Name        : sat4j
Product     : Fedora 19
Version     : 2.3.4
Release     : 1.fc19
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:

update to latest upstream.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #879999 - eclipse-pdebuild fails with FileNotFoundException for genericTargets.xml
        https://bugzilla.redhat.com/show_bug.cgi?id=879999
--------------------------------------------------------------------------------

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
--------------------------------------------------------------------------------