The OKlibrary (a generative SAT library and research platform)

<BODY BGCOLOR="#FFFFFF"> <table width="100%" border="0" height="100%"> <tr><td align="center" valign="middle"> <a href="http://www.bb-online.co.uk/hosting.html"><img src="http://www.bb-online.co.uk/banners/bbhostingbanner.jpg" width="468" height="60" border="0"></a> <BR><BR><BR> <H1><B>http://www.ok-sat-library.org</B></H1> <FONT COLOR="#FF0000"><H2> Your web browser does not support frames<BR> Please click below to view our website :<BR> </H2></FONT> <H1><B><a href="http://cs.swan.ac.uk/~csoliver/ok-sat-library/internet_html/index.html"> http://cs.swan.ac.uk/~csoliver/ok-sat-library/internet_html/index.html </a></B></H1> <BR><BR><BR> Web-Redirection Provided By : <BR> <a href="http://www.bb-online.co.uk"><img src="http://www.bb-online.co.uk/banners/bbonlinesmallad.jpg" border="0"></a> </td></tr> </table> </BODY>