RSolver is a handy, easy to use, Java based application specially designed to help you solve 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 be directly formulated as such constraints.
Requirements:
ยท Java
