| Name : picosat
| |
| Version : 936
| Vendor : Mandriva
|
| Release : 6
| Date : 2011-02-27 16:48:08
|
| Group : Sciences/Computer science
| Source RPM : picosat-936-6.src.rpm
|
| Size : 0.05 MB
| |
| Packager : Funda Wang < fwang_mandriva_org>
| |
| Summary : Lightweight SAT solver
|
Description :
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.
|
RPM found in directory: /vol/rzm6/linux-mandriva/official/2011/i586/media/contrib/release |
