Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: minisat2 | Distribution: Fedora Project |
Version: 2.2.1 | Vendor: Fedora Project |
Release: 20.fc41 | Build date: Fri Jul 19 06:59:31 2024 |
Group: Unspecified | Build host: buildhw-x86-03.iad2.fedoraproject.org |
Size: 46756 | Source RPM: minisat2-2.2.1-20.fc41.src.rpm |
Packager: Fedora Project | |
Url: http://minisat.se/ | |
Summary: Minimalistic SAT solver |
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.
MIT
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 2.2.1-15 - Do not glob the library name * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
/usr/bin/minisat /usr/lib/.build-id /usr/lib/.build-id/a7 /usr/lib/.build-id/a7/0d240fb6ee6daf4558ab879782e2342924eeaa /usr/share/doc/minisat2 /usr/share/doc/minisat2/ReleaseNotes-2.2.0.txt /usr/share/doc/minisat2/minisat-user-guide.html /usr/share/doc/minisat2/minisat2-test.in /usr/share/doc/minisat2/minisat2-test.out /usr/share/man/man1/minisat.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Sep 11 01:06:19 2024