//Problem 4.7
let testMap = Map.ofList [(55, ("Major BNS course", 45)) ;
                    (45, ("Major TC course", 45)) ;
                    (35, ("Major PPS course", 45)) ;
                    (25, ("Major elective BNS course", 45)) ;
                    (15, ("Not so important course", 45)) ];;

let testcs = Set.ofList [55; 45; 35; 25];;

//Basic Natural Science Course Group
let testBNSman = Set.ofList [55];;
let testBNSopt = Set.ofList [0];;
let testBNS = (BNSman,BNSopt);;

//Technological Core Course Group
let testTCman = Set.ofList [45];;
let testTCopt = Set.ofList [5];;
let testTC = (TCman,TCopt);;

//Project Professional Skill Course Group
let testPPSman = Set.ofList [35];;
let testPPSopt = Set.ofList [10];;
let testPPS = (PPSman,PPSopt);;

//Elective
let Elective courseNo = courseNo%5 = 0;;

let testflag = (testBNS, testTC, testPPS, Elective);;


let checkPlan cs flag cb = sumECTS testcs testMap = 180 && sumECTS testBNS testMap = 45