README file under CVS
*** empty log message ***
external solver interfaces via symbolic links
relaxation dummy files added
This commit was manufactured by cvs2svn to create tag 'rsolver-1_13'.
debugging prints removed
Widest splitting bug removed
array_for_all bug removed