{"version":3,"file":"SatSolverWrapper.js","sourceRoot":"","sources":["../../../../core/kursblockung/satsolver/SatSolverWrapper.ts"],"names":[],"mappings":";;;AAAA,8DAAkF;AAElF,gFAA6I;AAC7I,oFAA+I;AAI/I,MAAa,gBAAiB,SAAQ,uBAAU;IAE9B,OAAO,CAAc;IAErB,QAAQ,CAAU;IAElB,OAAO,CAAU;IAGlC;;;;;OAKG;IACH,YAAmB,MAAmB;QACrC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC3C,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC;IAEM,YAAY;QAClB,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;IACpC,CAAC;IAEM,SAAS,CAAC,KAAqB;QACrC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAEM,SAAS,CAAC,IAAa;QAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAEM,KAAK,CAAC,aAAsB;QAClC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC;IAEM,WAAW;QACjB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;IACnC,CAAC;IAEM,cAAc;QACpB,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;IACtC,CAAC;IAED;;;;;;OAMG;IACI,aAAa,CAAC,CAAU;QAC9B,IAAI,IAAI,GAA0B,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAC;YAC7C,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;SACtC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED;;;;OAIG;IACI,WAAW;QACjB,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;IAED;;;;OAIG;IACI,UAAU;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC;IACrB,CAAC;IAED;;;;OAIG;IACI,GAAG,CAAC,CAAU;QACpB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IAED;;;;;;OAMG;IACI,GAAG,CAAC,CAAU,EAAE,CAAU;QAChC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IAED;;;;;;;OAOG;IACI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,CAAU;QAC5C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED;;;;;OAKG;IACI,UAAU,CAAC,CAAU,EAAE,CAAU;QACvC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED;;;;;;;OAOG;IACI,aAAa,CAAC,CAAU,EAAE,CAAU;QAC1C,IAAI,CAAC,GAAY,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpB,OAAO,CAAC,CAAC;IACV,CAAC;IAkBD;;OAEG;IACI,iBAAiB,CAAC,QAAmD,EAAE,QAAiB;QAC9F,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,OAAO,QAAQ,KAAK,QAAQ,CAAC,EAAE;YAC1I,IAAI,MAAM,GAAmB,QAAQ,CAAC;YACtC,IAAI,MAAM,GAAY,QAAkB,CAAC;YACzC,IAAI,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;SAChE;aAAM,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,uBAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,yDAAyD,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,OAAO,QAAQ,KAAK,QAAQ,CAAC,EAAE;YACnR,IAAI,IAAI,GAA8B,IAAA,+EAA4D,EAAC,QAAQ,CAAC,CAAC;YAC7G,IAAI,MAAM,GAAY,QAAkB,CAAC;YACzC,IAAI,GAAG,IAAI,mCAAgB,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE;gBACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,oDAAoD,CAAC,CAAC,CAAC;aAClF;YACD,IAAI,MAAM,KAAK,CAAC,EAAE;gBACjB,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE;oBACnB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;iBACb;gBACD,OAAO;aACP;YACD,IAAI,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,EAAE;gBAC3B,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE;oBACnB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;iBACb;gBACD,OAAO;aACP;YACD,IAAI,MAAM,KAAK,CAAC,EAAE;gBACjB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;oBACtB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;oBACpC,OAAO;iBACP;gBACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;oBACtB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;oBACpE,OAAO;iBACP;gBACD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACzB,OAAO;aACP;YACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;SACrC;;YAAM,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACnD,CAAC;IAED;;;;;OAKG;IACI,iBAAiB,CAAC,IAA+B,EAAE,OAAgB;QACzE,IAAI,GAAG,IAAI,mCAAgB,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE;YAC3B,OAAO;SACP;QACD,IAAI,OAAO,KAAK,CAAC,EAAE;YAClB,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE;gBACnB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aACb;YACD,OAAO;SACP;QACD,IAAI,OAAO,KAAK,CAAC,EAAE;YAClB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC9B,OAAO;SACP;QACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IAED;;;;;OAKG;IACK,aAAa,CAAC,IAA+B;QACpD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC;IAED;;;;;;OAMG;IACK,iBAAiB,CAAC,CAAU,EAAE,CAAU,EAAE,CAAU;QAC3D,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED;;;;;;;OAOG;IACK,YAAY,CAAC,CAAU,EAAE,CAAU;QAC1C,IAAI,CAAC,GAAY,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnB,OAAO,CAAC,CAAC;IACV,CAAC;IAED;;;;;;;OAOG;IACK,kBAAkB,CAAC,IAA+B;QACzD,IAAI,GAAG,IAAI,mCAAgB,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE;YACnB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SACxB;QACD,OAAO,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE;YACxB,IAAI,CAAC,GAAY,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,CAAC;YAC9C,IAAI,CAAC,GAAY,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,CAAC;YAC9C,IAAI,CAAC,GAAY,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC7C,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACZ;QACD,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,CAAC;IACrC,CAAC;IAEO,iBAAiB,CAAC,IAA+B,EAAE,MAAe;QACzE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAY,CAAC,CAAC;QACnB,IAAI,IAAI,GAA0B,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC,OAAO,EAAE,EAAE;YACtB,IAAI,KAAK,GAAY,IAAI,CAAC,IAAI,EAAE,CAAC;YACjC,IAAI,CAAC,GAAG,MAAM,EAAE;gBACf,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;aAC3B;iBAAM;gBACN,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;aAC3B;YACD,CAAC,EAAE,CAAC;SACJ;IACF,CAAC;IAEO,iBAAiB,CAAC,IAA+B,EAAE,OAAgB;QAC1E,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAY,CAAC,CAAC;QACnB,IAAI,IAAI,GAA0B,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC,OAAO,EAAE,EAAE;YACtB,IAAI,KAAK,GAAY,IAAI,CAAC,IAAI,EAAE,CAAC;YACjC,IAAI,CAAC,GAAG,OAAO;gBACd,CAAC,EAAE,CAAC;;gBACJ,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;SAC5B;IACF,CAAC;IAEO,cAAc,CAAC,IAA+B;QACrD,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAEO,4BAA4B,CAAC,IAA+B;QACnE,IAAI,IAAI,GAAY,CAAC,CAAC;QACtB,OAAO,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE;YAC1B,IAAI,IAAI,CAAC,CAAC;SACV;QACD,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE;YAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAC5B;IACF,CAAC;IAEO,wBAAwB,CAAC,IAA+B;QAC/D,KAAK,IAAI,MAAM,GAAY,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,IAAI,CAAC,EAAC;YAChE,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACzC,KAAK,IAAI,UAAU,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,UAAU,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,EAAC;gBACvF,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;aACjD;SACD;IACF,CAAC;IAEO,qBAAqB,CAAC,IAA+B,EAAE,IAAa;QAC3E,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAC;YACnD,KAAK,IAAI,EAAE,GAAY,CAAC,EAAE,EAAE,GAAY,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAC;gBACzE,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;aACxC;SACD;IACF,CAAC;IAEO,yBAAyB,CAAC,IAA+B,EAAE,IAAa;QAC/E,IAAI,IAAI,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACzC,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAC;YACnD,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAC;gBACtC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;aACrD;SACD;IACF,CAAC;IAEO,oBAAoB,CAAC,MAAiC,EAAE,EAAW,EAAE,EAAW;QACvF,IAAI,EAAE,IAAI,EAAE,EAAE;YACb,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,wBAAwB,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC;SACxF;QACD,IAAI,CAAC,GAAY,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1C,IAAI,CAAC,GAAY,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IAEO,MAAM,CAAC,MAAM,CAAC,MAAsB;QAC3C,IAAI,IAAI,GAA8B,IAAI,mCAAgB,EAAE,CAAC;QAC7D,KAAK,IAAI,CAAC,IAAI,MAAM,EAAE;YACrB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SAChB;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,SAAS,CAAC,CAAU,EAAE,CAAU;QAC/B,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,CAAC,CAAU,EAAE,CAAU;QAC7B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,sBAAsB,CAAC,IAAa;QACnC,OAAO,CAAC,2DAA2D,EAAE,iEAAiE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxJ,CAAC;CAED;AA/XD,4CA+XC;AAED,SAAgB,oEAAoE,CAAC,GAAa;IACjG,OAAO,GAAuB,CAAC;AAChC,CAAC;AAFD,oJAEC"}