| 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: 31.fc45 | Build date: Fri Jul 17 16:36:05 2026 |
| Group: Unspecified | Build host: buildvm-ppc64le-27.rdu3.fedoraproject.org |
| Size: 348209 | Source RPM: picosat-965-31.fc45.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
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 965-31 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Sat Apr 25 2026 Iñaki Úcar <iucar@fedoraproject.org> - 965-30 - R-maint-sig mass rebuild * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 965-29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Aug 07 2025 Jerry James <loganjerry@gmail.com> - 965-28 - Stop building for 32-bit x86 - Minor spec file cleanups * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 965-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * 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
/usr/bin/picogcnf /usr/bin/picomcs /usr/bin/picomus /usr/bin/picosat /usr/bin/picosat.trace /usr/lib/.build-id /usr/lib/.build-id/5a /usr/lib/.build-id/5a/94032ae7a64cdc1f7f3e1dddf9cf42373fc066 /usr/lib/.build-id/a4 /usr/lib/.build-id/a4/9e892bb0600af94786341bd4182c0ba4209347 /usr/lib/.build-id/af /usr/lib/.build-id/af/1fb5b893e34151ee4bdeffb573aa6176656719 /usr/lib/.build-id/b9 /usr/lib/.build-id/b9/30660833278f8da27b5828be437d079b41a836 /usr/lib/.build-id/d8 /usr/lib/.build-id/d8/98e5c3c5a8f83bd91ee8089e65ce563097554f /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, Mon Jul 27 23:51:01 2026