| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: picosat | Distribution: Fedora Project |
| Version: 965 | Vendor: Fedora Project |
| Release: 26.fc43 | Build date: Fri Apr 18 22:07:18 2025 |
| Group: Unspecified | Build host: buildvm-ppc64le-24.iad2.fedoraproject.org |
| Size: 348857 | Source RPM: picosat-965-26.fc43.src.rpm |
| Packager: Fedora Project | |
| Url: https://fmv.jku.at/picosat/ | |
| Summary: A SAT solver | |
PicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck.
MIT
* Fri Apr 18 2025 Iñaki Úcar <iucar@fedoraproject.org> - 965-26 - R-maint-sig mass rebuild * Fri Apr 18 2025 Iñaki Úcar <iucar@fedoraproject.org> - 965-25 - R-maint-sig mass rebuild * Fri Apr 18 2025 Iñaki Úcar <iucar@fedoraproject.org> - 965-24 - R-maint-sig mass rebuild * Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 965-23 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Thu Apr 25 2024 Iñaki Úcar <iucar@fedoraproject.org> - 965-21 - R-maint-sig mass rebuild * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 965-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 965-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Apr 21 2023 Iñaki Úcar <iucar@fedoraproject.org> - 965-17 - R-maint-sig mass rebuild
/usr/bin/picogcnf /usr/bin/picomcs /usr/bin/picomus /usr/bin/picosat /usr/bin/picosat.trace /usr/lib/.build-id /usr/lib/.build-id/10 /usr/lib/.build-id/10/3dc39de39c98aae677ac6e6631efebf6b60724 /usr/lib/.build-id/68 /usr/lib/.build-id/68/e397e39e3727e78d18de107c39a0b1d9fcbf8e /usr/lib/.build-id/92 /usr/lib/.build-id/92/e703a666f9a5f04d108bf8b0af0261118db5c4 /usr/lib/.build-id/94 /usr/lib/.build-id/94/f852b7e2dbab6241200ee970f58d1012fd7922 /usr/lib/.build-id/ea /usr/lib/.build-id/ea/ee111ea62e2aface9f0038b9948612afa7f352 /usr/share/man/man1/picomus.1.gz /usr/share/man/man1/picosat.1.gz /usr/share/man/man1/picosat.trace.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Apr 24 02:07:13 2025