Information for RPM libpoly-0.1.8-1.fc33.riscv64.rpm
ID | 601404 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | libpoly | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Version | 0.1.8 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Release | 1.fc33 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Epoch | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Arch | riscv64 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Summary | C library for manipulating polynomials | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Description | LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Build Time | 2020-05-07 07:43:27 GMT | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Size | 142.74 KB | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
a963289185b2f283a85681ee700b718b | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
License | LGPLv3+ | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Buildroot | f33-build-194132-47054 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Provides |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Requires |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Files |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Component of |
|