74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<html xmlns="http://www.w3.org/1999/xhtml">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <head>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <title>CoLoSS - Test Tool</title>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <link rel="stylesheet" href="main.css" type="text/css" />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </head>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <body>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <form method="submit" action="tool.php">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> Select a Modal Logic:
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <select name="logic">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <option value="1" selected> K
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <option value="2"> KD
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <option value="3"> Coalition Logic
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <option value="4"> Graded Modal Logic
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <option value="5"> Probabilistic Modal Logic
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <option value="6"> Hennesy-Milner Modal Logic
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <option value="7"> Monotonic Modal Logic
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </select> or <input type="reset" value="Clear Input">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br> <br>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> Give an input formula: <br>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <!--<code>-->
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <pre>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <textarea rows='7' cols='106' name="formula"></textarea>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </pre>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <!--</code>-->
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> <input type="submit" value="Check Provability & Satisfiability">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br><br> Tasks which take more than 120 seconds are killed.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br><br>
0d33538fd320abea240aca0783641ac2333f4c0bGeorgel Calin Notes on the input format can be found <a href="syntax.html">here</a> and some simple tests we used can be found <a href="tests.html">here</a>.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </form>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </body>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu</html>