qepcad.help

Quantifier elimination tool

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