Package : libpicosat1 > RPM : libpicosat1-965-2.mga9.i586.rpm
Basic items
InstallName | libpicosat1 |
Version | 965 |
Release | 2.mga9 |
URL | http://fmv.jku.at/picosat/ |
Group | Development/C |
Summary | A SAT solver library |
Size | 91KB |
Arch | i586 |
License | MIT-like |
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.
The library has a simple API which is similar to that of previous
solvers by the same authors.
Media information
Distribution release | Mageia cauldron |
Media name | core-release |
Media arch | i586 |
Advanced items
Source RPM | NOT IN DATABASE ?! |
Build time | 2022-03-15 08:05:38 |
Changelog | View in Sophie |
Files | View in Sophie |
Dependencies | View in Sophie |