Fedora 17 Update: minion-0.14-1.fc17

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-11214
2012-07-28 00:40:05
--------------------------------------------------------------------------------

Name        : minion
Product     : Fedora 17
Version     : 0.14
Release     : 1.fc17
URL         : http://minion.sourceforge.net/
Summary     : Fast, Scalable Constraint Solving
Description :
MINION is a new constraint solver, which is very fast and scales
well as problem size increases. Empirical results on standard
benchmarks show orders of magnitude performance gains over
state-of-the-art constraint toolkits. These gains increase with
problem size --- MINION delivers scalable constraint solving.

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

update to 0.14 upstream release
--------------------------------------------------------------------------------
ChangeLog:

* Fri Jul 27 2012 Alexis Lameire <alexisis-pristontale at hotmail.com> - 0.14-1
- Update to 0.14 upstream release
* Fri Jul 20 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.10-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update minion' 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
--------------------------------------------------------------------------------