<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>CoLoSS - Coalgebraic Logic Satisfiability Solver</title>
<link rel="stylesheet" href="main.css" type="text/css" />
</head>
<FRAMESET ROWS=150,*,30" border="0">
<FRAME SRC="menu.html" NAME=TITLE SCROLLING=NO>
<FRAME SRC="info.html" NAME=INFO>
<FRAME SRC="tfoot.html" />
</FRAMESET>
<body />
</html>