import Challenger import Hamilton.Hamilton student = Aufgabe { problem = Hamilton , instanz = bsp_graph , beweis = Kreis [0,1,2,3] } bsp_graph = Graph{ knoten = mkSet [0,1,2,3] , kanten = mkSet [kante 0 1 ,kante 1 2 ,kante 2 3 ,kante 3 0 ] }
import Challenger import Hamilton.Hamilton student = Loesung { problem = Hamilton ,ident = Ident {aufgabe = 1} ,beweis = Kreis [0,1,2,3] }