cad2d

Quantifier elimination tool

Install

All systems
curl cmd.cat/cad2d.sh
Fedora
dnf install qepcad-B

qepcad-B

Quantifier elimination tool