{"version":3,"file":"KursblockungAlgorithmusKSatSolver.js","sourceRoot":"","sources":["../../../core/kursblockung/KursblockungAlgorithmusKSatSolver.ts"],"names":[],"mappings":";;;AAEA,6EAA0I;AAC1I,qDAA0E;AAC1E,yFAA4J;AAC5J,iFAA4I;AAG5I,mDAAuE;AAEvE,6EAA0I;AAC1I,+EAAiH;AAEjH,+FAAgK;AAGhK,MAAa,iCAAkC,SAAQ,mDAAwB;IAE7D,SAAS,CAA8B;IAEvC,YAAY,CAAkC;IAEvD,eAAe,GAAY,CAAC,CAAC;IAGrC;;;;;;OAMG;IACH,YAAmB,MAAe,EAAE,MAA6B;QAChE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtB,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;IAC3B,CAAC;IAEM,QAAQ,CAAC,cAAuB;QACtC,IAAI,IAAI,CAAC,QAAQ,CAAC,yBAAyB,EAAE,KAAK,CAAC,EAAE;YACpD,OAAO;SACP;QACD,IAAI,SAAS,GAAY,eAAM,CAAC,iBAAiB,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,qCAAqC,EAAE,CAAC;QACtD,IAAI,CAAC,QAAQ,CAAC,kCAAkC,EAAE,CAAC;QACnD,IAAI,CAAC,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACxC,IAAI,eAAe,GAAY,CAAC,CAAC;QACjC,OAAO,eAAM,CAAC,iBAAiB,EAAE,GAAG,SAAS,GAAG,cAAc,EAAE;YAC/D,IAAI,MAAM,GAAY,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;YAC3D,IAAI,MAAM,KAAK,uBAAU,CAAC,cAAc,EAAE;gBACzC,OAAO;aACP;YACD,IAAI,MAAM,KAAK,uBAAU,CAAC,kBAAkB,EAAE;gBAC7C,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;gBAC3E,SAAS;aACT;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;YACvB,eAAe,GAAG,CAAC,CAAC;SACpB;IACF,CAAC;IAED;;;;;;;;;;;OAWG;IACI,eAAe,CAAC,cAAuB;QAC7C,IAAI,GAAG,GAAsB,IAAI,mCAAgB,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC;QACpE,IAAI,SAAS,GAAY,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QAC3D,IAAI,cAAc,GAAwD,IAAI,iBAAO,EAAE,CAAC;QACxF,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE;YAChC,IAAI,QAAQ,GAAmB,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxD,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAC;gBAC3C,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;aACvI;YACD,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;SACnC;QACD,IAAI,2BAA2B,GAA+E,IAAI,iBAAO,EAAE,CAAC;QAC5H,IAAI,oBAAoB,GAA4E,IAAI,iBAAO,EAAE,CAAC;QAClH,IAAI,eAAe,GAA8B,IAAI,mCAAgB,EAAE,CAAC;QACxE,KAAK,IAAI,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE;YACvC,2BAA2B,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,iBAAO,EAAE,CAAC,CAAC;YACzD,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,iBAAO,EAAE,CAAC,CAAC;YAClD,KAAK,IAAI,OAAO,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE;gBAC5C,IAAI,cAAc,GAAY,GAAG,CAAC,YAAY,EAAE,CAAC;gBACjD,IAAI,mBAAmB,GAAoD,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACrH,IAAI,mBAAmB,KAAK,IAAI;oBAC/B,MAAM,IAAI,2CAAoB,EAAE,CAAA;gBACjC,mBAAmB,CAAC,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;gBACjD,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBACpC,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,EAAE;oBACpC,IAAI,OAAO,GAAY,GAAG,CAAC,YAAY,EAAE,CAAC;oBAC1C,IAAI,YAAY,GAAiD,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACpG,IAAI,YAAY,KAAK,IAAI;wBACxB,MAAM,IAAI,2CAAoB,EAAE,CAAA;oBACjC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;iBAChC;aACD;SACD;QACD,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE;YAChC,IAAI,IAAI,GAA8B,IAAI,mCAAgB,EAAE,CAAC;YAC7D,IAAI,QAAQ,GAA0B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,QAAQ,KAAK,IAAI;gBACpB,MAAM,IAAI,2CAAoB,EAAE,CAAA;YACjC,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAC;gBAC3C,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;aACtB;YACD,IAAI,MAAM,GAAY,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC/C,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;SACpC;QACD,KAAK,IAAI,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE;YACvC,KAAK,IAAI,OAAO,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE;gBAC5C,IAAI,IAAI,GAA8B,IAAI,mCAAgB,EAAE,CAAC;gBAC7D,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,EAAE;oBACpC,IAAI,YAAY,GAAiD,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACpG,IAAI,YAAY,KAAK,IAAI;wBACxB,MAAM,IAAI,2CAAoB,EAAE,CAAA;oBACjC,IAAI,OAAO,GAAmB,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACrD,IAAI,OAAO,KAAK,IAAI;wBACnB,MAAM,IAAI,2CAAoB,EAAE,CAAA;oBACjC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;iBAClB;gBACD,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;aAC/B;SACD;QACD,KAAK,IAAI,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE;YACvC,IAAI,YAAY,GAAiD,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpG,IAAI,YAAY,KAAK,IAAI;gBACxB,MAAM,IAAI,2CAAoB,EAAE,CAAA;YACjC,KAAK,IAAI,QAAQ,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE;gBAC7C,KAAK,IAAI,QAAQ,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE;oBAC7C,IAAI,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,EAAE;wBACxC,KAAK,IAAI,KAAK,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE;4BACtC,KAAK,IAAI,KAAK,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE;gCACtC,IAAI,IAAI,GAAmB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gCACnD,IAAI,IAAI,GAAmB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gCACnD,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;oCACrC,MAAM,IAAI,2CAAoB,EAAE,CAAA;gCACjC,IAAI,CAAC,GAAY,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;gCACnE,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAC;oCAC3C,IAAI,aAAa,GAA0B,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oCACrE,IAAI,aAAa,GAA0B,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oCACrE,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;wCACvD,MAAM,IAAI,2CAAoB,EAAE,CAAA;oCACjC,IAAI,IAAI,GAAY,aAAa,CAAC,CAAC,CAAC,CAAC;oCACrC,IAAI,IAAI,GAAY,aAAa,CAAC,CAAC,CAAC,CAAC;oCACrC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;iCAC1B;6BACD;yBACD;qBACD;iBACD;aACD;SACD;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,GAAG,GAAG,CAAC,WAAW,EAAE,GAAG,MAAM,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;QACtF,IAAI,SAAS,GAAY,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACnD,IAAI,SAAS,KAAK,uBAAU,CAAC,kBAAkB,EAAE;YAChD,OAAO,SAAS,CAAC;SACjB;QACD,IAAI,CAAC,QAAQ,CAAC,qCAAqC,EAAE,CAAC;QACtD,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE;YAChC,IAAI,QAAQ,GAA8B,IAAI,mCAAgB,EAAE,CAAC;YACjE,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAC;gBAC3C,IAAI,YAAY,GAA0B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnE,IAAI,YAAY,KAAK,IAAI;oBACxB,MAAM,IAAI,2CAAoB,EAAE,CAAA;gBACjC,IAAI,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;oBACnC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAChB;aACD;YACD,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;SACzC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,sBAAsB,CAAC,IAAa;QACnC,OAAO,CAAC,wEAAwE,EAAE,+DAA+D,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnK,CAAC;CAED;AA3KD,8EA2KC;AAED,SAAgB,2EAA2E,CAAC,GAAa;IACxG,OAAO,GAAwC,CAAC;AACjD,CAAC;AAFD,kKAEC"}