The version is 3.1, RSolver can help you to solve quantified inequality constraints fast and easy. It is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equations can...