Anwendungsbeispiel

Student sendet neue Aufgabe und Lösung ein:

import Challenger
import Col.Col

student = Aufgabe{problem = Col
          , instanz = bsp_graph
          , beweis = bsp_loesung
          }
bsp_graph = Graph {
          knoten = mkSet [1,2,3,4,5]
          , kanten = mkSet [kante 1 2, 
                            kante 2 3, 
                            kante 3 4, 
                            kante 4 5, 
                            kante 5 1, 
                            kante 3 5
          ]}
          
bsp_loesung = [[1,4],[2,5],[3]]

ein isomorpher Graph könnte sein:

bsp_graph = Graph {
          knoten = mkSet ['z','f','h','g','i']
          , kanten = mkSet [kante 'z' 'f', 
                            kante 'i' 'z', 
                            kante 'g' 'h', 
                            kante 'f' 'g', 
                            kante 'i' 'g', 
                            kante 'h' 'i'
          ]}