github.com/hiwane/ganrac (go): Go language version QE tool for Real Algebraic Constraints
Keywords: computer-algebra-system|golang|real-quantifier-elimination