Inhalt
Inhalt
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"))
                ])

Inhalt
import Challenger
import PCProblem.PCProblem

student = Loesung {
             problem = PCProblem
            ,ident = Ident {aufgabe = 1}
            ,beweis = Folge ['A','B','C']
            }