PROGRAMS BY rsolver.sf.net

RSolver is a program and library for solving quantified inequality constraints over the real numbers. Problems like projecting the solution set of a set of inequality constraints to two dimensions be directly formulated as su