Stefan Ratschan

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 equations can be directly formulated as such constraints.
Download (64bit Linux)
The quality of this package depends heavily on your feedback. So if you found a bug, have an example where RSOLVER works particularily bad/well, or if you have any other questions, please send an e-mail to email.
User Community:
Mailing list for receiving announcements of new versions
Main Paper Describing Method
Stefan Ratschan
Efficient Solving of Quantified Inequality Constraints over the Real Numbers
ACM Transactions on Computational Logic, Volume 7, Number 4, pp. 723-748, 2006
Original Paper
Postscript1 BIB-entry
Other Related Papers

This software is available under the GNU Lesser General Public License. We ask you to properly cite its use in resulting applications and publications.

I would appreciate it, if you notify me (email) of your use of RSOLVER, inform me about bugs, and send me resulting publications.

This software package was supported by GAČR grant P202/12/J060.