| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: picosat | Distribution: OpenMandriva Lx |
| Version: 936 | Vendor: OpenMandriva |
| Release: 71 | Build date: Fri Jun 23 13:51:27 2023 |
| Group: Sciences/Computer science | Build host: ryzen9-5.openmandriva.org |
| Size: 79184 | Source RPM: picosat-936-71.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| 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
* Sun Feb 27 2011 Funda Wang <fwang@mandriva.org> 936-6mdv2011.0 + Revision: 640458 - rebuild to obsolete old packages * Tue Feb 22 2011 Alexandre Lissy <alissy@mandriva.com> 936-5 + Revision: 639278 - Fixing compilation issues and trace patch not being applied * Mon Feb 21 2011 Alexandre Lissy <alissy@mandriva.com> 936-4 + Revision: 639143 - fixes major to 1 (as debian) - fixing install directory of picosat.h as <picosat/picosat.h> * Mon Feb 21 2011 Alexandre Lissy <alissy@mandriva.com> 936-3 + Revision: 639137 - Fixes the dependency on library package - Fixing -devel package name - Using major for library version * Mon Feb 21 2011 Alexandre Lissy <alissy@mandriva.com> 936-2 + Revision: 639126 - Improving packaging for libraries using libname defines - Fixing the Group for -devel package - Fixing build issue with make -j - Fixing typo in RPM group - Adding picosat package. - Created package structure for picosat.
/usr/bin/picomus /usr/bin/picosat /usr/bin/picosat.trace /usr/share/man/man1/picomus.1.zst /usr/share/man/man1/picosat.1.zst /usr/share/man/man1/picosat.trace.1.zst
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Apr 11 23:03:51 2024