Inhalt
Inhalt
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
                                  ]
                 }

Inhalt
import Challenger
import Hamilton.Hamilton

student = Loesung {
             problem = Hamilton
            ,ident = Ident {aufgabe = 1}
            ,beweis = Kreis [0,1,2,3]
            }