Name: picosat	Distribution: Mageia
Version: 965	Vendor: Mageia.Org
Release: 4.mga10	Build date: Sun Jun 29 05:14:42 2025
Group: Sciences/Computer science	Build host: localhost
Size: 85131	Source RPM: picosat-965-4.mga10.src.rpm
Packager: umeabot <umeabot>
Url: https://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.

Provides

Requires

License

MIT-like

Changelog

* Sun Jun 29 2025 umeabot <umeabot> 965-4.mga10
  + Revision: 2223152
  - Mageia 10 Mass Rebuild
* Tue May 21 2024 daviddavid <daviddavid> 965-3.mga10
  + Revision: 2065841
  - fix sed command
  - fix devel pkg name

Files

/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/4ba08b60b07f469805d8ef22c6839555b331d7
/usr/lib/.build-id/55
/usr/lib/.build-id/55/d129c51f49f34395680acfe75e87b36646ba25
/usr/lib/.build-id/93
/usr/lib/.build-id/93/72645fa031cc790e94f03143230f260994a9be
/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 Jul 13 06:17:57 2025

picosat-965-4.mga10 RPM for i686

From Mageia Cauldron for i686 / media / core / release

Provides

Requires

License

Changelog

Files