RSOLVER
User Manual
Stefan Ratschan
June 18, 2007
Introduction
Running a First Example
The Input
Produced Output
Running Rsolver
External Solvers
Relaxation Algorithm
Program Termination
The Algorithm
The Implementation
Known Bugs
References