rsolver

We have hosted the application rsolver in order to run this application in our online workstations with Wine or directly.

Quick description about rsolver:

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


Categories: