/usr/share/mozart/doc/demo/college.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>3 College Timetabling</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="jobshop.html#chapter.jobshop"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="cutting.html#chapter.cutting">Next >></A></TD></TR></TABLE><DIV id="chapter.college"><H1><A name="chapter.college">3 College Timetabling</A></H1><H3 class="authors"><A href="http://www.iscs.nus.edu.sg/~henz">Martin Henz</A>, <A href="http://www.ps.uni-sb.de/~wuertz/">Jörg Würtz</A> and <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A></H3><P> </P><P class="linkmenu">[ <A href="applets/College.oza">Start Applet</A> | <A href="../install/node14.html#appendix.applets">How to enable Applets</A> ]</P><P> </P><P class="margin">Problem</P><P> This demo solves a real time-tabling problem: it finds a time table for a college in Saarbrücken and presents the time-table graphically. Details on modelling and implementing that problem can be found in the paper <A href="http://www.ps.uni-sb.de/Papers/abstracts/ICPTAT95.html">Using Oz for College Time Tabling</A>. </P><P class="margin">Operation</P><P> When the program is launched the problem specification is already loaded. </P><P class="margin">Menu <EM>File</EM></P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Load Solution</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Load the initial solution. This is useful for optimizing based on an initial solution. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">About this program</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Display message about program. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Exit</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Exit the program. </P></DD></DL><P> </P><P class="margin">Menu <EM>Compute</EM></P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">First Solution</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Find first solution. After finding a solution the solver tries to find a better solution. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Optimize Current Solution</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Resume after interrupting finding a solution. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Interrupt Solving</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Interrupt finding a solution. </P></DD></DL><P> </P><P class="margin">Menu <EM>Output</EM></P><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Display graphically</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Display solution as a Gannt chart. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Display with Browser</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Display solution as Oz term in the Oz browser. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Display textually</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Display solution as table. </P></DD></DL><P> </P><DIV class="unnumbered" id="section.college.implementation"><H2><A name="section.college.implementation">Implementation</A></H2><HR><UL class="toc"><LI><A href="node9.html#code.college.problem">Problem description: <CODE>KathHochWS9596.ozt</CODE></A></LI></UL><UL class="toc"><LI><A href="node10.html#code.college.main">Root functor: <CODE>Main.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node11.html#code.college.common">Common definitions: <CODE>Common.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node12.html#code.college.controller">Controlling the operation: <CODE>Controller.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node13.html#code.college.scheduler">The actual scheduler: <CODE>Scheduler.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node14.html#code.college.graphics">Graphical interface: <CODE>Graphics.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node15.html#code.college.latex">The interface to LaTeX: <CODE>Latex.oz</CODE></A></LI></UL></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="jobshop.html#chapter.jobshop"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="cutting.html#chapter.cutting">Next >></A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|