Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: lib64picosat-trace1 | Distribution: Mageia |
Version: 965 | Vendor: Mageia.Org |
Release: 2.mga9 | Build date: Tue Mar 15 08:05:31 2022 |
Group: Development/C | Build host: localhost |
Size: 86196 | Source RPM: picosat-965-2.mga9.src.rpm |
Packager: umeabot <umeabot> | |
Url: http://fmv.jku.at/picosat/ | |
Summary: A SAT solver library |
The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.
MIT-like
* Tue Mar 15 2022 umeabot <umeabot> 965-2.mga9 + Revision: 1792863 - Mageia 9 Mass Rebuild * Thu Jun 04 2020 joequant <joequant> 965-1.mga8 + Revision: 1590192 - update to 965
/usr/lib/.build-id /usr/lib/.build-id/af /usr/lib/.build-id/af/8d0a3317d00b0a341ae51ec8b94f98573a1cb1 /usr/lib64/libpicosat-trace.so.1 /usr/lib64/libpicosat-trace.so.1.0.965
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Sep 11 10:30:24 2024