-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-3203 2013-03-02 19:14:58 --------------------------------------------------------------------------------
Name : minisat2 Product : Fedora 17 Version : 2.2.0 Release : 5.fc17 URL : http://minisat.se/ Summary : Minimalistic SAT solver Description : MiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame. -------------------------------------------------------------------------------- Update Information: This update exposes the functionality of minisat as a library, for use by other applications. For those not building their own minisat-using applications, this update should function identically to the previous version. -------------------------------------------------------------------------------- ChangeLog: * Fri Mar 1 2013 Jerry James <[email protected]> - 2.2.0-5 - Add a man page, courtesy of the Debian maintainers - Build a shared library, and add -devel and -libs packages (bz 912190) * Thu Feb 14 2013 Fedora Release Engineering <[email protected]> - 2.2.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Fri Jul 20 2012 Fedora Release Engineering <[email protected]> - 2.2.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild -------------------------------------------------------------------------------- References: [ 1 ] Bug #912190 - minisat2 to ship header files https://bugzilla.redhat.com/show_bug.cgi?id=912190 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update minisat2' 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 -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
