{"version":3,"file":"SatSolverA.js","sourceRoot":"","sources":["../../../../core/kursblockung/satsolver/SatSolverA.ts"],"names":[],"mappings":";;;AAAA,8DAAkF;AAElF,MAAsB,UAAW,SAAQ,uBAAU;IAE3C,MAAM,CAAU,oBAAoB,GAAY,CAAC,CAAC,CAAC;IAEnD,MAAM,CAAU,cAAc,GAAY,CAAC,CAAC;IAE5C,MAAM,CAAU,kBAAkB,GAAY,CAAC,CAAC;IAGvD;QACC,KAAK,EAAE,CAAC;IACT,CAAC;IAuDD,sBAAsB,CAAC,IAAa;QACnC,OAAO,CAAC,2DAA2D,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC;;AApEF,gCAsEC;AAED,SAAgB,8DAA8D,CAAC,GAAa;IAC3F,OAAO,GAAiB,CAAC;AAC1B,CAAC;AAFD,wIAEC"}