Package : libpicosat-trace1 > RPM : libpicosat-trace1-965-2.mga9.i586.rpm
Basic items
Install| Name | libpicosat-trace1 |
| Version | 965 |
| Release | 2.mga9 |
| URL | http://fmv.jku.at/picosat/ |
| Group | Development/C |
| Summary | A SAT solver library |
| Size | 94KB |
| 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 |