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