| 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: 19.fc40 | Build date: Thu Jan 25 08:36:04 2024 |
| Group: Unspecified | Build host: buildvm-s390x-21.s390.fedoraproject.org |
| Size: 46500 | Source RPM: minisat2-2.2.1-19.fc40.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 Jan 25 2024 Fedora Release Engineering <[email protected]> - 2.2.1-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <[email protected]> - 2.2.1-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jul 20 2023 Fedora Release Engineering <[email protected]> - 2.2.1-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <[email protected]> - 2.2.1-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Nov 28 2022 Jerry James <[email protected]> - 2.2.1-15 - Do not glob the library name * Thu Jul 21 2022 Fedora Release Engineering <[email protected]> - 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/45 /usr/lib/.build-id/45/832613000ad83070102c9d025687d40272fec2 /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 Jul 10 00:08:09 2024