qepcad

Quantifier elimination tool

Fedora
RUN dnf install -y qepcad-B
click the source code to copy install qepcad on any operating system with command-not-found.com