import Challenger import PCProblem.PCProblem student = Aufgabe { problem = PCProblem , instanz = bsp_pcp , beweis = Folge ['A','B','C'] } bsp_graph = PCP([('A',("001","0")), ('B',("10","011")), ('C',("01","001")) ])
import Challenger import PCProblem.PCProblem student = Loesung { problem = PCProblem ,ident = Ident {aufgabe = 1} ,beweis = Folge ['A','B','C'] }