@tuprolog/2p-full 0.31.21 → 0.32.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (43) hide show
  1. package/2p-bdd.js +198 -215
  2. package/2p-bdd.js.map +1 -1
  3. package/2p-core.js +3282 -5092
  4. package/2p-core.js.map +1 -1
  5. package/2p-full.js +6 -6
  6. package/2p-io-lib.js +874 -1121
  7. package/2p-io-lib.js.map +1 -1
  8. package/2p-oop-lib.js +1140 -1327
  9. package/2p-oop-lib.js.map +1 -1
  10. package/2p-parser-core.js +438 -609
  11. package/2p-parser-core.js.map +1 -1
  12. package/2p-parser-js.js +7 -8
  13. package/2p-parser-js.js.map +1 -1
  14. package/2p-parser-theory.js +35 -39
  15. package/2p-parser-theory.js.map +1 -1
  16. package/2p-repl.js +152 -179
  17. package/2p-repl.js.map +1 -1
  18. package/2p-solve-classic.js +1141 -1371
  19. package/2p-solve-classic.js.map +1 -1
  20. package/2p-solve-plp.js +9 -14
  21. package/2p-solve-plp.js.map +1 -1
  22. package/2p-solve-problog.js +1689 -1981
  23. package/2p-solve-problog.js.map +1 -1
  24. package/2p-solve-streams.js +1206 -1372
  25. package/2p-solve-streams.js.map +1 -1
  26. package/2p-solve.js +4879 -6147
  27. package/2p-solve.js.map +1 -1
  28. package/2p-theory.js +1820 -2246
  29. package/2p-theory.js.map +1 -1
  30. package/2p-unify.js +290 -330
  31. package/2p-unify.js.map +1 -1
  32. package/2p-utils.js +483 -557
  33. package/2p-utils.js.map +1 -1
  34. package/clikt-clikt-js-ir.js +2243 -3266
  35. package/clikt-clikt-js-ir.js.map +1 -1
  36. package/{kotlin-kotlin-stdlib-js-ir.js → kotlin-kotlin-stdlib.js} +9601 -10371
  37. package/kotlin-kotlin-stdlib.js.map +1 -0
  38. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js +15 -0
  39. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -0
  40. package/kt-math.js +2926 -4247
  41. package/kt-math.js.map +1 -1
  42. package/package.json +9 -3
  43. package/kotlin-kotlin-stdlib-js-ir.js.map +0 -1
package/2p-repl.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","commonMainSources/libraries/stdlib/src/kotlin/text/Strings.kt","jsMainSources/libraries/stdlib/js/src/kotlin/dynamic.kt","jsMainSources/libraries/stdlib/js/src/kotlin/text/string.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","commonMainSources/libraries/stdlib/src/kotlin/util/Standard.kt","commonMainSources/libraries/stdlib/src/kotlin/collections/Maps.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null],"names":["printSolution","sol","operatorSet","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","epilog","name","invokeWithoutSubcommand","printHelpOnEmptyArgs","helpTags","autoCompleteEnvvar","allowMultipleSubcommands","treatUnknownOptionsAsArgs","hidden","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","NullInputException_init_$Create$","<get-files>","<get-timeout>","<get-oop>","loadTheory","theory","file","t","readEvalPrintLoop","solver","goal","_","TuPrologCmd$getSolver$lambda$lambda","$formatter","TuPrologCmd$getSolver$lambda$lambda$lambda","it","TuPrologCmd$getSolver$lambda","w","sep","formatter","stacktrace","$this$flag","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","library","files$factory","get","receiver","timeout$factory","oop$factory","<get-query>","<get-maxSolutions>","<get-parentCommand>","evalAndPrint","duration","query$factory","maxSolutions$factory","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAmCYA,C,OAAkBC,G,EAAeC,WAAjCF,EAA2D;A,QACzD,kB;IACF,mC,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,C;IACJ,C;MACA,kC,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,oC,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;;;EAER,C;2BAEQG,C,OAAqBF,G,EAAmBC,WAAxCC,EAAkE;A,IACtE,UAAS,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;4BAEQC,C,OAAsBH,G,EAAoBC,WAA1CE,EAAoE;A,QAClEC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAM,YAAN,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;8BAMQC,C,KAAAA,EAA0B;A,EAElC,C;6BAiBQC,C,OAAuBC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;;UCjBP,oB;MA6GiF,YAAV,SAAP,oBAAtB,SAAsB,IAAtB,SAAsB,eAAO,C;WD5FzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,2BAAQ,GAAR,0BAA4B,GAA5B,C;;MAAA,2B;QACJ,MAAM,iCAAoB,iDAApB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;0BAGQC,C,OAAoBV,G,EAAkBC,WAAtCS,EAAgE;A,IACpE,UAAS,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;kCAxFKC,CACLC,I,EACAC,M,EACAC,I,EACAC,uB,EACAC,oB,EACAC,Q,EACAC,kB,EACAC,wB,EACAC,yB,EACAC,MAVKV,EAAT;A,2BACmB,E;+BACE,E;2BACD,I;iEACmB,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+BACnB,K;IAClB,wBACA,IADA,EAEA,MAFA,EAGA,IAHA,EAIA,uBAJA,EAKA,oBALA,EAMA,QANA,EAOA,kBAPA,EAQA,wBARA,EASA,yBATA,EAUA,MAVA,C;EAXJ,C;kDAmDcW,CAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;;IAAS,IAAT,kBAAS,S;YAAA,I;;;;;;;MC+OoC,YAAV,mBAvPzC,kBAuPyC,IAAS,C;MAsfrD,IAAI,SAAJ,C;;;YDxqB453B,0CA7Dn53B,kBA6Dm53B,EAAK,CAAL,C;QA7Dv33B,YAAO,YAAH,uBAAG,CAAP,GAAyB,UAAH,uBAAG,CAAzB,GAA6C,WAAH,uBAAG,C;oBCquB7C,SAAnB,SAAmB,C;;;;;QC1xBE,YAoC6kB,kB;QC2MzhB,YAAjC,SAAY,WAwFq4lB,CAxFr4lB,C;gBF2iBpD,QAAgC,S;;gBA7uB/C,kB;;MA6uBV,iB;YDruByB,S;;IAArB,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;kDAMUE,CAAAA,EAAwB;A,QAC9BjB,QAAqB,SAAQ,IAAR,0BAA6B,GAA7B,C;;IAEjB,aAAS,IAAT,C;MACI,MAAM,iCAAoB,gDAApB,C;;;;MC0G4D,YAAV,SAAP,QApHQ,KAoHR,2BApHQ,KAoHR,aAAtB,KAAsB,eAAO,C;MDxG/C,aAAP,SAAO,EAAS,8BAAT,E;cACT,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;kDAkBUkB,CAAmBC,S,EAA+BzB,WAAlDwB,EAA4E;A,QAClFE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACxB,IAAI,CAAC,KAAL,C,CAAY;A,YACwB,qBAAtB,qBAAsB,KAAc,EAAd,EAAkB,KAAlB,C;;QAA0B,IAA1B,kBAA0B,S;gBAAA,I;;;;UC2EQ,YAAV,SAAP,QAvFnD,kBAuFmD,2BAvFnD,kBAuFmD,aAAtB,kBAAsB,eAAO,C;gBD3EE,S;;YAA1DC,S;QACA,IAAI,UAAQ,GAAR,CAAJ,C;UAAgB,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;kDAEUC,CAAsBH,S,EAA+BI,Y,EAAmB7B,WAAxE4B,EAAkG;A,QACxGE,IAAQ,C;WACD,IAAI,YAAJ,GAAoB,SAAU,IAA9B,GAA8B,K,EAAW;A,UAC5C,Q;MAAA,gB;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;yCItHAC,CAAYC,O,EAAkBC,K,OAA9BF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;2CAEAA,CAAYC,O,OAAZD,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;2CAAhCG,CAAYF,OAAZE,E;;;;G;gCAHJ;A;EAAA,C;oBC4BIxB,CAAAA,EAAA;A;IACqC,iB;EADrC,C;;;;;;;6BAMgCyB,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAtC/B,KAsC+B,EAAH,iBAAG,C;EACrB,C;8BAEMC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAzCnB,KAyCmB,EAAH,mBAAG,C;EAIQ,C;2BAEfC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KA/Cf,KA+Ce,EAAH,eAAG,C;EAGG,C;qBAYdC,C,KAAAA,EAAyB;A,QAC7BC,SAA4B,sD;QACf,gBAAK,mBAAL,KAAK,CAAL,I;WAAA,iB,EAAb;A,UAAKC,OAAQ,iB;MACT,IAAI,eAAe,IAAf,CAAJ,C,CAA0B;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,YAA8B,CAAE,IAAhC,IAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBAAnBnB,M;YACL,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;4BAEQoB,C,OAAsBC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACApC,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACAsC,OAAkB,oDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBnB,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C;4CAA4B;A,gBAAnBH,M;YACL,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;4CAAgC;A,YAAvBuB,M;QACL,UAAM,cAAN,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;8CAa6DC,CADrDC,UACqDD,E;oBAAAE,CAAAC,EAAAD,EAAA;A,MAAK,cAAH,EAAG,EAAO,UAAP,C;IAAkB,C;G;uCAJlCE,CAHlD,MAGkDA,E;oBAAAJ,CAAEK,CAAFL,EAAA;A,MAC1C,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAM,MAAW,W;UACXC,YAAwC,2DAAkB,CAAE,KAAQ,MAA5B,C;gBACvB,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,yB;IAAA,C;G;yCAS0BJ,CAAAK,UAAAL,EAAA;A,IAAE,uB;EAAG,C;sBAzGvCxC,CAAkB8C,mBAAlB9C,EAAA;A,IAAA,yB;IAAyD,mCAI7C,qCAJ6C,QAG7C,uBAH6C,EAC3B,IAD2B,oBAE1B,IAF0B,C;IAWC,gC;IAEtB,aAC3B,SAD8B,aAAQ,OAAM,UAAN,CAAR,EAAiC,kCAAjC,CAC9B,CAD2B,KAtC5B,IAsC4B,kB;cAGZ,I;;gBAIlB,IAJqB,aAClB,OACA,WADA,CADkB,EAGX,4DAHW,GARc,IAQd,GAG+D,MAH/D,CAIrB,C;;IAJkB,YAIZ,iBAZ6B,IAY7B,CAJY,KAzChB,IAyCgB,oB;IAMJ,aAGd,KAHiB,aACd,SADc,EAEP,uBAFO,CAGjB,MAAe,KAAf,CAHc,KA/CZ,IA+CY,gB;EAtBpB,C;sCA2Ba+C,CAAAA,EAAU;A,QACfC,QAAoB,U;QACpBC,aAAiB,IAAK,MAAtBA,CAAqC,K;IAErC,IAAI,cAAc,IAAlB,C,CAAwB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;sCAgDAC,CAAAA,EAA+B;A,IAC3B,OAAe,OAAR,yBAAQ,C;EACnB,C;sCAEAC,CAAAA,EAAwB;A;IACpB,SAAM,kBAAN,GA/GsB,SA+GtB,C;QACAtB,SAA0B,WAAL,IAAK,C;;QAC1BuB,gBAAkC,OAAY,kCAAZ,C;;IAOlB,IAAI,sBAAJ,C;cACJ,6BAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,6BAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAHZC,iB;;;gBCiBN,+BAAO,aAA0B,YAAQ,SAAR,CAIvB,aAAS,MAAT,C;;QAEoC,YAFN,mCAAqB,8BAArB,CAE/B,aAAS,aAAT,CAAqC,Q;;;;;QCfH,gBA3CJ,SA2CI,M;IAsP6D,YAAlB,iBAAQ,I;QFnP3D,2B;WAAA,mB,EAArB;A,UAAqB,yC;;;MEiLoC,YApL/B,mBAoL0B,K;UFjL3CC,mB;MACL,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;ICtCZ,YAAO,S;ID6BH,OAKa,S;EAMjB,C;wBApGgCC,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBtBC,QArBsBD,E;;K,EAAA,I;G;0BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBVC,QAlBUD,E;;K,EAAA,I;G;sBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYNC,QAZMD,E;;K,EAAA,I;G;0BATgBD,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBtBC,QArBsBD,E;;K,EAAA,I;G;4BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBVC,QAlBUD,E;;K,EAAA,I;G;wBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYNC,QAZMD,E;;K,EAAA,I;G;6BG9BUI,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAjBzB,KAiByB,EAAH,iBAAG,C;EAAS,C;oCACRC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAlB7B,KAkB6B,EAAH,wBAAG,C;EACnB,C;qCAGVC,C,KAAAA,EAAQ;A,QAAe,qBAAf,WAAe,M;cAAA,kBAAQ,kBAAR,kBAAQ,M;IAAsB,oCAA7C,GAA6C,c;EAAD,C;uBAOhDC,C,OAAiB9B,MAAjB8B,EAAiC;A;;QPCT,2C;IAiR6B,YAAV,sCAAS,C;IOjRxD,IAAU,SAAV,C,CAAwB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,M;YAC3CjD,YAAgB,MAAO,kBAAa,uCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;QAC5D,IAAI,qCAAgB,CAApB,C,CAAuB;A,UACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C,MAAO;A,UACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,C;QACJ,C;MACJ,C;0CAA4B;A,cAAnBH,M;UACL,UAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;MFb0C,MAAM,wBAAqB,2DAArB,C;;EEgBpD,C;6BAjCJZ,CAAAA,EAAA;A,IAA2B,mCACf,+CADe,QAEf,OAFe,C;IAKG,aAAG,cAAH,KAjBtB,IAiBsB,kB;IACI,aACzB,UAD0G,IAA9E,aAAQ,OAAM,qBAAN,CAAR,EAA4C,iCAA5C,CAA8E,CAC1G,EAAQ,CAAR,CADyB,KAlB1B,IAkB0B,yB;EANlC,C;6CAYa+C,CAAAA,EAAU;A,QACfd,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;wBAV0BgC,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B0bC,QA9B1bD,E;;K,EAAA,I;G;+BACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BsbC,QA7BtbD,E;;K,EAAA,I;G;0BADJS,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B0bC,QA9B1bD,E;;K,EAAA,I;G;iCACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BsbC,QA7BtbD,E;;K,EAAA,I;G;yBCd3BW,CAAmBC,IAAnBD,EAA0C;A;IHyBC,MAAM,wBA3BT,sDA2BS,C;EGvBxD,C;6BAEOE,CAAuBD,IAAvBC,EAA6C;A;IHqBF,MAAM,wBAxBzC,sDAwByC,C;EGnBxD,C;eCNAC,CAASC,IAATD,EAA8B;A,IACZ,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,KAAK,IAAL,C;EACpD,C;;;;;;;"}
1
+ {"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","src/jsMainSources/libraries/stdlib/js/src/kotlin/text/stringJs.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/util/Standard.kt","src/kotlin/collections/Maps.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"names":["printSolution","sol","operatorSet","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","epilog","name","invokeWithoutSubcommand","printHelpOnEmptyArgs","helpTags","autoCompleteEnvvar","allowMultipleSubcommands","treatUnknownOptionsAsArgs","hidden","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","NullInputException_init_$Create$","<get-files>","<get-timeout>","<get-oop>","loadTheory","theory","file","t","readEvalPrintLoop","solver","goal","_","TuPrologCmd$getSolver$lambda$lambda","$formatter","TuPrologCmd$getSolver$lambda$lambda$lambda","it","TuPrologCmd$getSolver$lambda","w","sep","formatter","stacktrace","$this$flag","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","library","files$factory","get","receiver","timeout$factory","oop$factory","<get-query>","<get-maxSolutions>","<get-parentCommand>","evalAndPrint","duration","query$factory","maxSolutions$factory","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAmCYA,C,OACJC,G,EACAC,WAFIF,EAGN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,C;IACJ,C;MACA,gBAJE,GAIF,M,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,gBAPE,GAOF,Q,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;;;EAER,C;2BAEQG,C,OACJF,G,EACAC,WAFIC,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;4BAEQC,C,OACJH,G,EACAC,WAFIE,EAGN;A,QACQC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAM,YAAN,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;8BAMQC,C,KAAAA,EAA0B;A,EAElC,C;6BAiBQC,C,OAAuBC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;mBCvBuD,Q;sBA0GS,SAAP,oBAAtB,MAAsB,IAAtB,MAAsB,eAAO,C;WDnFzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,2BAAQ,GAAR,0BAA4B,GAA5B,C;;MAAA,2B;QACJ,MAAM,iCAAoB,iDAApB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;0BAGQC,C,OACJV,G,EACAC,WAFIS,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;kCApGKC,CACLC,I,EACAC,M,EACAC,I,EACAC,uB,EACAC,oB,EACAC,Q,EACAC,kB,EACAC,wB,EACAC,yB,EACAC,MAVKV,EAAT;A,2BACmB,E;+BACE,E;2BACD,I;iEACmB,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+BACnB,K;IAClB,wBACI,IADJ,EAEI,MAFJ,EAGI,IAHJ,EAII,uBAJJ,EAKI,oBALJ,EAMI,QANJ,EAOI,kBAPJ,EAQI,wBARJ,EASI,yBATJ,EAUI,MAVJ,C;EAXJ,C;kDA4DcW,CAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;;IAAS,IAAT,kBAAS,S;YAAA,I;;;;;MC4tBlB,IAtf4C,mBArPnC,kBAqPmC,IAAS,CAsfrD,C;;iBDrpB4t3B,gBCtFnt3B,kBDsFmt3B,EAAK,CAAL,C;wBAvEhr3B,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;oBC4tB7C,SAAnB,SAAmB,C;;;gBAAnB,QA3uBT,kBCgM6D,WAwFq4lB,CAxFr4lB,C;;gBDhM7D,kB;;;;IDeZ,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;kDAMUE,CAAAA,EAAwB;A,QAC9BjB,QAAqB,SAAQ,IAAR,0BAA6B,GAA7B,C;;IAEjB,aAAS,IAAT,C;MACI,MAAM,iCAAoB,gDAApB,C;;;sBCiGkD,SAAP,oBAnHgB,KAmHhB,IAnHgB,KAmHhB,eAAO,C;MD/F/C,aAAP,SAAO,EAAS,8BAAT,E;cACT,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;kDAqBUkB,CACNC,S,EACAzB,WAFMwB,EAGR;A,QACEE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACxB,IAAI,CAAC,KAAL,C,CAAY;A,YACwB,qBAAtB,qBAAsB,KAAc,EAAd,EAAkB,KAAlB,C;;QAA0B,IAA1B,kBAA0B,S;gBAAA,I;;;gBC4DF,SAAP,oBA9EV,kBA8EU,IA9EV,kBA8EU,eAAO,C;;YD5DxDC,S;QACA,IAAI,UAAQ,GAAR,CAAJ,C;UAAgB,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;kDAEUC,CACNH,S,EACAI,Y,EACA7B,WAHM4B,EAIR;A,QACEE,IAAQ,C;WACD,IAAI,YAAJ,GAAoB,SAAU,IAA9B,GAA8B,K,EAAW;A,MAC5C,a;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;yCGzIAC,CAAYC,O,EAAkBC,K,OAA9BF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;2CAEAA,CAAYC,O,OAAZD,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;2CAAhCG,CAAYF,OAAZE,E;;;;G;gCAHJ;A;EAAA,C;oBC2BIxB,CAAAA,EAAA;A,IACqC,iB;EADrC,C;;;;;6BAMgCyB,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KArC/B,KAqC+B,EAAH,iBAAG,C;EACrB,C;8BAEMC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAxCnB,KAwCmB,EAAH,mBAAG,C;EAIQ,C;2BAEfC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KA9Cf,KA8Ce,EAAH,eAAG,C;EAGG,C;qBAYdC,C,KAAAA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,gBAAK,mBAAL,KAAK,CAAL,I;WAAA,iB,EAAb;A,UAAKC,OAAQ,iB;MACT,IAAI,eAAe,IAAf,CAAJ,C,CAA0B;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,GAA8B,CAAE,IAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBAAnBnB,M;YACL,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;4BAEQoB,C,OAAsBC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACApC,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACAsC,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBnB,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C;4CAA4B;A,gBAAnBH,M;YACL,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;4CAAgC;A,YAAvBuB,M;QACL,UAAM,cAAN,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;8CAciEC,CADrDC,UACqDD,E;oBAAAE,CAAAC,EAAAD,EAAA;A,MAAK,cAAH,EAAG,EAAO,UAAP,C;IAAkB,C;G;uCAJtDE,CAJlC,MAIkCA,E;oBAAAJ,CAAEK,CAAFL,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAM,MAAW,W;UACXC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;gBACvB,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;G;yCAUsBJ,CAAAK,UAAAL,EAAA;A,IAAE,uB;EAAG,C;sBA1GvCxC,CAAkB8C,mBAAlB9C,EAAA;A,IAAyD,mCAI7C,qCAJ6C,QAG7C,uBAH6C,EAC3B,IAD2B,oBAE1B,IAF0B,C;IAUC,gC;IAEtB,aAC3B,SAD8B,aAAQ,OAAM,UAAN,CAAR,EAAiC,kCAAjC,CAC9B,CAD2B,KArC5B,IAqC4B,kB;IAGZ,aAIZ,UAAN,IAJqB,aAClB,OACA,WADA,CADkB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,CAJY,KAxChB,IAwCgB,oB;IAMJ,aAGd,KAHiB,aACd,SADc,EAEP,uBAFO,CAGjB,MAAe,KAAf,CAHc,KA9CZ,IA8CY,gB;EArBpB,C;sCA0Ba+C,CAAAA,EAAU;A,QACfC,QAAoB,U;QACpBC,aAAiB,IAAK,MAAtBA,CAAqC,K;IAErC,IAAI,cAAc,IAAlB,C,CAAwB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;sCAgDAC,CAAAA,EAA+B;A,IAC3B,OAAe,OAAR,yBAAQ,C;EACnB,C;sCAEAC,CAAAA,EAAwB;A;IACpB,SAAM,kBAAN,GA9GsB,QA8GtB,C;QACAtB,SAA0B,WAAL,IAAK,C;;QAC1BuB,gBACkB,OAAY,kCAAZ,C;;IAQd,IAAI,sBAAJ,C;cACY,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;;gBCqBM,+BAAO,aAA0B,YAAQ,SAAR,CAExC,aAAS,MAAT,C;;iBAA8B,mCAAqB,8BAArB,CAAyC,aAE3E,aAF2E,CAE/C,Q;;;;QDbM,gBA/CM,MEkD6B,MA0PgB,KAAQ,I;WF7P3D,iB,EAArB;A;UAASC,UAAY,iBE2L+B,K;MF1LhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IATR,OC9BG,M;EDyCP,C;wBAtGgCC,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBSC,QArBTD,E;;K,EAAA,I;G;0BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBqBC,QAlBrBD,E;;K,EAAA,I;G;sBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYyBC,QAZzBD,E;;K,EAAA,I;G;0BATgBD,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBSC,QArBTD,E;;K,EAAA,I;G;4BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBqBC,QAlBrBD,E;;K,EAAA,I;G;wBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYyBC,QAZzBD,E;;K,EAAA,I;G;6BG9BUI,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAhBzB,KAgByB,EAAH,iBAAG,C;EAAS,C;oCACRC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAjB7B,KAiB6B,EAAH,wBAAG,C;EACnB,C;qCAGVC,C,KAAAA,EAAQ;A,QAAe,qBAAf,WAAe,M;cAAA,kBAAQ,kBAAR,kBAAQ,M;IAAsB,oCAA7C,GAA6C,c;EAAD,C;uBAOhDC,C,OAAiB9B,MAAjB8B,EAAiC;A;iBNET,yB;IMD5B,INkR+C,6BAAS,CMlRxD,C,CAAwB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,M;YAC3CjD,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;QAC5D,IAAI,qCAAgB,CAApB,C,CAAuB;A,UACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C,MAAO;A,UACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,C;QACJ,C;MACJ,C;0CAA4B;A,cAAnBH,M;UACL,UAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;mBFQmG,0B;MApBzD,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;;EEepD,C;6BAhCJZ,CAAAA,EAAA;A,IAA2B,mCACf,+CADe,QAEf,OAFe,C;IAIG,aAAG,cAAH,KAhBtB,IAgBsB,kB;IACI,aACzB,UAD0G,IAA9E,aAAQ,OAAM,qBAAN,CAAR,EAA4C,iCAA5C,CAA8E,CAC1G,EAAQ,CAAR,CADyB,KAjB1B,IAiB0B,yB;EALlC,C;6CAWa+C,CAAAA,EAAU;A,QACfd,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;wBAV0BgC,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B2dC,QA9B3dD,E;;K,EAAA,I;G;+BACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BudC,QA7BvdD,E;;K,EAAA,I;G;0BADJS,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B2dC,QA9B3dD,E;;K,EAAA,I;G;iCACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BudC,QA7BvdD,E;;K,EAAA,I;G;yBCb3BW,CAAmBC,IAAnBD,EAA0C;A;iBHFF,qB;IA2BG,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGvBxD,C;6BAEOE,CAAuBD,IAAvBC,EAA6C;A;iBHHrC,qB;IAwBmC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGnBxD,C;eCNAC,CAASC,IAATD,EAA8B;A,IACZ,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,KAAK,IAAL,C;EACpD,C;;;;;;;;;;"}