Name : qepcad-B
| |
Version : 1.72
| Vendor : Fedora Project
|
Release : 3.fc30
| Date : 2019-02-17 10:19:10
|
Group : Unspecified
| Source RPM : qepcad-B-1.72-3.fc30.src.rpm
|
Size : 3.34 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: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/30/Everything/x86_64/os/Packages/q |