Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: picosat | Distribution: Mageia |
Version: 965 | Vendor: Mageia.Org |
Release: 1.mga8 | Build date: Thu Jun 4 00:50:38 2020 |
Group: Sciences/Computer science | Build host: localhost |
Size: 79444 | Source RPM: picosat-965-1.mga8.src.rpm |
Packager: joequant <joequant> | |
Url: http://fmv.jku.at/picosat/ | |
Summary: Lightweight SAT solver |
The SAT problem is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). General information on SAT can be found at http://www.satlive.org or http://www.satlib.org.
MIT-like
* Thu Jun 04 2020 joequant <joequant> 965-1.mga8 + Revision: 1590192 - update to 965 * Fri Feb 14 2020 umeabot <umeabot> 936-15.mga8 + Revision: 1515927 - Mageia 8 Mass Rebuild * Sun Sep 23 2018 umeabot <umeabot> 936-14.mga7 + Revision: 1300262 - Mageia 7 Mass Rebuild * Tue Jul 10 2018 wally <wally> 936-13.mga7 + Revision: 1242933 - drop unneeded post/postun scriptlets
/usr/bin/picomus /usr/bin/picosat /usr/bin/picosat.trace /usr/lib/.build-id /usr/lib/.build-id/4f /usr/lib/.build-id/4f/41076e10af61ccfcd0c37237e29411774aeb7f /usr/lib/.build-id/de /usr/lib/.build-id/de/6ac4b3e161242f6a6a07d3690dfb573092723c /usr/lib/.build-id/f0 /usr/lib/.build-id/f0/f8bdcbedcfd67fa1c86403f68ca2e80f77b242 /usr/share/man/man1/picomus.1.xz /usr/share/man/man1/picosat.1.xz /usr/share/man/man1/picosat.trace.1.xz
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Oct 13 11:16:06 2024