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 be directly formulated as such constraints.

This software package solves a special type of constraints, namely quantified constraints. A quantified constraint can also contain the symbol 8, that is, universal quantifiers.

RSolver itself works in text mode. An additional graphical user interface (GUI) is available. For using the GUI, download it and follow the instructions in the files README.WINDOWS (if you are using Microsoft
Windows) or README (otherwise).

Requirements:
* Java

The license of this software is Free, you can free download and free use this cad software.