Quantifier elimination tool
402.40 KB
built 2026-10-17 16:20:15 GMT
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.
Dependencies
9 totalRequires8
- gcc-c++
- make
- pkgconfig(glut)
- pkgconfig(readline)
- pkgconfig(xext)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- saclib-devel
Provides1
- qepcad-B = 1.74-13.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
13Name  |
Size |
|---|---|
| qepcad-B-attr.patch | 15.01 KB |
| qepcad-B-destructor.patch | 2.80 KB |
| qepcad-B-env.patch | 675.00 B |
| qepcad-B-gcc6.patch | 1.29 KB |
| qepcad-B-parens.patch | 6.37 KB |
| qepcad-B-return.patch | 918.00 B |
| qepcad-B-signed.patch | 5.02 KB |
| qepcad-B-syntax.patch | 725.00 B |
| qepcad-B-tty.patch | 1.57 KB |
| qepcad-B-uninit.patch | 11.59 KB |
| qepcad-B-unused.patch | 58.03 KB |
| qepcad-B.1.74.tgz | 351.89 KB |
| qepcad-B.spec | 9.64 KB |
Files 1–13 of 13
Component of
buildroots that installed this RPMNo Buildroots