| << Prev | - Up - | Next >> |
Problem
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 Using Oz for College Time Tabling.
Operation
When the program is launched the problem specification is already loaded.
Menu File
|
Load the initial solution. This is useful for optimizing based on an initial solution.
|
Display message about program.
|
Exit the program.
Menu Compute
|
Find first solution. After finding a solution the solver tries to find a better solution.
|
Resume after interrupting finding a solution.
|
Interrupt finding a solution.
Menu Output
|
Display solution as a Gannt chart.
|
Display solution as Oz term in the Oz browser.
|
Display solution as table.
| << Prev | - Up - | Next >> |