Name : lib64picosat1
| |
Version : 965
| Vendor : Mageia_Org
|
Release : 2.mga9
| Date : 2022-03-15 08:05:31
|
Group : Development/C
| Source RPM : picosat-965-2.mga9.src.rpm
|
Size : 0.08 MB
| |
Packager : umeabot < umeabot>
| |
Summary : A SAT solver library
|
Description :
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.
|
RPM found in directory: /vol/rzm3/linux-mageia/distrib/cauldron/x86_64/media/core/release |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
lib64picosat1
lib64picosat1(x86-64)
libpicosat.so.1()(64bit)
Requires :