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