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: 15.fc37 | Build date: Fri Jul 22 16:51:07 2022 |
Group: Unspecified | Build host: buildvm-s390x-01.s390.fedoraproject.org |
Size: 126313 | Source RPM: picosat-965-15.fc37.src.rpm |
Packager: Fedora Project | |
Url: http://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 Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_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/5b /usr/lib/.build-id/5b/a79accd74e23148b58aa10d8c8cd0966b0de6f /usr/lib/.build-id/90 /usr/lib/.build-id/90/f28f4b17c31886bd62b35966421044253cf084 /usr/lib/.build-id/cc /usr/lib/.build-id/cc/fbe1aabe9786d3385eab08abec8f0636782524 /usr/lib/.build-id/d5 /usr/lib/.build-id/d5/60592a4bfa19b5a5b7d569e2ff451e97151dea /usr/lib/.build-id/e5 /usr/lib/.build-id/e5/41ea14a5de64d8412bf3dfb74f58b0f8d4d993 /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 May 9 20:51:40 2024