Beispieleinsendungen
Aufgabe
import Challenger
import Clique.Clique


student = Aufgabe {
              problem = Clique
            , instanz = (bsp_graph,2)
            , beweis = TGraph [0,1]
            }

bsp_graph = Graph{ knoten = mkSet [0,1,2,3]
                                 , kanten = mkSet [kante 0 1
                                                  ,kante 1 2
                                                  ,kante 2 3
                                                  ,kante 1 0
                                  ]
                 }

Lösung
import Challenger
import Clique.Clique

student = Loesung {
             problem = Clique
            ,ident = Ident {aufgabe = 1}
            ,beweis = TGraph [0,1]
            }