Information for RPM libpoly-0.1.8-3.fc33.riscv64.rpm
ID | 751743 | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | libpoly | ||||||||||||||||||||||
Version | 0.1.8 | ||||||||||||||||||||||
Release | 3.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-12-26 08:24:46 GMT | ||||||||||||||||||||||
Size | 120.09 KB | ||||||||||||||||||||||
0892136b3878655bd817bf6bcd83dcbd | |||||||||||||||||||||||
License | LGPLv3+ | ||||||||||||||||||||||
Buildroot | f33-build-383390-62129 | ||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||
Files |
|
||||||||||||||||||||||
Component of |