Fedora 17 Update: cudd-2.5.0-1.fc17

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2012-2116 2012-02-21 17:39:30 -------------------------------------------------------------------------------- Name : cudd Product : Fedora 17 Version : 2.5.0 Release : 1.fc17 URL : http://vlsi.colorado.edu/~fabio/CUDD/ Summary : CU Decision Diagram Package Description : CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs). -------------------------------------------------------------------------------- Update Information: The polybori package was merely rebuilt against a new version of cudd. The upstream release notes for cudd are as follows: Release 2.5.0 of Cudd introduces the ability to set timeouts. The function that is interrupted returns NULL (which the application must be prepared to handle,) but the BDDs are uncorrupted and the invoking program can continue to use the manager. In addition, reordering is now aware of timeouts, so that it gives up when a timeout is approaching to give the invoking program a chance to obtain some results. The response time to the timeout is not immediate, though most of the time it is well below one second. Checking for timeouts has a small overhead. In experiments, less than 1% has been observed on average. Creation of BDD managers with many variables (e.g., tens or hundreds of thousands) is now much more efficient. Computing small supports of BDDs when there are many variables is also much more efficient, but this has been at the cost of separating the function for BDDs and ADDs (Cudd_Support) from that for ZDDs (Cudd_zddSupport). The C++ interface has undergone a major upgrade. The handling of variable groups in reordering has been much improved. (Thanks to Arie Gurfinkel for a very detailed bug report!) A handful of other bugs have been fixed as well. -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update cudd' 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 --------------------------------------------------------------------------------