ID | 82283 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | qepcad-B-1.74-8.fc41 | ||||||||||||||||||||||||||||||
Name | qepcad-B | ||||||||||||||||||||||||||||||
Version | 1.74 | ||||||||||||||||||||||||||||||
Release | 8.fc41 | ||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||
Arch | src | ||||||||||||||||||||||||||||||
Draft | False | ||||||||||||||||||||||||||||||
Summary | Quantifier elimination tool | ||||||||||||||||||||||||||||||
Description | QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. This is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction. | ||||||||||||||||||||||||||||||
Build Time | 2024-05-02 15:16:23 GMT | ||||||||||||||||||||||||||||||
Size | 402.04 KB | ||||||||||||||||||||||||||||||
edc2923aafc31f1ed0ab737da2402a73 | |||||||||||||||||||||||||||||||
License | ISC | ||||||||||||||||||||||||||||||
Buildroot | f41-build-57041-3214 | ||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||
Component of | No Buildroots |