Name : qepcad-B
| |
Version : 1.74
| Vendor : Fedora Project
|
Release : 6.fc39
| Date : 2023-07-21 18:05:22
|
Group : Unspecified
| Source RPM : qepcad-B-1.74-6.fc39.src.rpm
|
Size : 1.09 MB
| |
Packager : Fedora Project
| |
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.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/releases/39/Everything/x86_64/os/Packages/q |