qepcad: Quantifier elimination by partial cylindrical algebraic decomposition#
Description#
Qepcad is an implementation of quantifier elimination by partial cylindrical algebraic decomposition
License#
Upstream Contact#
Repository: https://github.com/chriswestbrown/qepcad
Tarballs: https://www.usna.edu/Users/cs/wcbrown/qepcad/INSTALL/IQ.html
Website: (outdated) https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html
Type#
optional
Dependencies#
Version Information#
package-version.txt:
1.74
Equivalent System Packages#
$ sudo apt-get install qepcad
$ sudo yum install qepcad-B
$ sudo port install qepcad
See https://repology.org/project/qepcad-b/versions
However, these system packages will not be used for building Sage
because spkg-configure.m4 has not been written for this package;
see github issue #27330 for more information.