student = Aufgabe { problem = Knapsack , instanz = bsp_cond , beweis = bsp_proof } bsp_cond = Conditions { items = listToFM [(1,(Size 6, Value 18)) ,(2,(Size 5, Value 15)) ,(3,(Size 4, Value 9)) ,(4,(Size 4, Value 12)) ,(5,(Size 3, Value 11)) ,(6,(Size 4, Value 13)) ,(7,(Size 3, Value 7)) ,(8,(Size 2, Value 6)) ,(9,(Size 2, Value 5)) ,(10,(Size 2, Value 3)) ,(11,(Size 2, Value 2)) ] , constraint = (Size 6, Value 19) } bsp_proof = mkSet [6,8]