Symbolics.jl looks really cool, I haven’t used it much but I definitely want to I think I was looking into it at the start of this project, but it looks like i

Symbolics.jl looks really cool, I haven’t used it much but I definitely want to I think I was looking into it at the start of this project, but it looks like it’s symbolic solver can still only handle linear equations, and I’m working with a mess of quadratic inequalities that I wanted to solve symbolically