The version is 1.24. Solve quantified inequality constraints fast and easy. RSolver 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...