Information for RPM libpoly-0.1.7-3.fc31.riscv64.rpm
ID | 439967 | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | libpoly | ||||||||||||||||||||||
Version | 0.1.7 | ||||||||||||||||||||||
Release | 3.fc31 | ||||||||||||||||||||||
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 | 2019-08-03 12:52:25 GMT | ||||||||||||||||||||||
Size | 146.61 KB | ||||||||||||||||||||||
16bf85cfbf7ef73ba6f305634ca2f47b | |||||||||||||||||||||||
License | LGPLv3+ | ||||||||||||||||||||||
Buildroot | f31-build-70010-30380 | ||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||
Obsoletes |
|
||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||
Files |
|
||||||||||||||||||||||
Component of |
|