qepcad: Quantifier elimination by partial cylindrical algebraic decomposition#

Description#

Qepcad is an implementation of quantifier elimination by partial cylindrical algebraic decomposition

License#

ICS Wikipedia article ISC_license

Upstream Contact#

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 Issue #27330 for more information.