Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

picosat-936-6 RPM for i586

From Mandriva devel cooker for i586 / media / contrib / release

Name: picosat Distribution: Mandriva Linux
Version: 936 Vendor: Mandriva
Release: 6 Build date: Sun Feb 27 16:48:08 2011
Group: Sciences/Computer science Build host: n4.mandriva.com
Size: 50456 Source RPM: picosat-936-6.src.rpm
Packager: Funda Wang <fwang@mandriva.org>
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.

Provides

Requires

License

MIT-like

Changelog

* 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.

Files

/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/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, Sat Aug 11 03:50:10 2018