cad2d

Quantifier elimination tool

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