@tuprolog/arg2p-causality-solver 0.9.0

package/2p-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cache.kt","src/kotlin/util/Standard.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cached.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Castable.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cursor.kt","src/kotlin/collections/Iterables.kt","src/kotlin/collections/Sequences.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Indexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IntIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/LongIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggable.kt","src/kotlin/collections/Maps.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/CursorExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IterUtils.kt","common/src/generated/_Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/NumberTypeTester.kt","src/kotlin/text/regex/RegexExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Optional.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggables.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/ThreadSafety.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/AbstractCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/CachedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ConjunctionCursor.kt","src/kotlin/util/Lazy.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/EmptyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/IntIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LazyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LongIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/MapperCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/NonLastCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/SimpleLRUCache.kt","common/src/generated/_Maps.kt","src/kotlin/util/Preconditions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ValueCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/Deque.kt","src/kotlin/collections/Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/ThreadSafetyJs.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/TypeUtilsJs.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"names":["getOrSet","key","valueGenerator","got","ifValid","consumer","castTo","asIterable","asSequence","component1","component2","compareTo","other","getTag","name","containsTag","<init>","simpleLru","capacity","of","generator","iterator","sequence","empty","cursor","<this>","plus","toCursor","index","value","dropLast","itemWiseHashCode","iterable","hash","i","insertAt","item","items","itemWiseEquals","sequence1","sequence2","comparator","cached","buffered","iterable1","iterable2","j","a","b","mergeSequences","iterables","assertItemsAreNotNull","merge","indexed","compare","invoke","$this$sequence","$completion","doResume","dropLast$slambda","dropLast$slambda$lambda","$index","$item","$items","insertAt$slambda","insertAt$slambda$lambda","itemWiseEquals$lambda","assertItemsAreNotNull$lambda","it","merge$slambda$lambda","$comparator","merge$slambda$lambda$lambda","$iterables","merge$slambda","indexed$lambda","<get-stringRepresentation>","NumberTypeTester$<get-stringRepresentation>$lambda","NumberTypeTester$<get-stringRepresentation>$lambda$lambda","<get-isInteger>","toInteger","toDecimal","numberIsInteger","number","numberToInteger","numberToDecimal","some","none","<get-value>","<get-isPresent>","toString","hashCode","equals","<get-isAbsent>","setTags","tags","synchronizedOnSelf","action","source","hasNext","next","result","<get-isLazy>","map","mapper","<get-isValid>","<get-isInvalid>","regenerate","invalidate","ConjunctionCursor$next$delegate$lambda","ConjunctionCursor$next$delegate$lambda$lambda","first","second","<get-isOver>","<get-next>","<get-current>","<get-hasNext>","next$factory","get","receiver","<get-index>","<get-wrapped>","LazyCursor$wrapped$delegate$lambda","LazyCursor$wrapped$delegate$lambda$lambda","delegate","wrapped$factory","MapperCursor$current$delegate$lambda","MapperCursor$current$delegate$lambda$lambda","wrapped","current$factory","NonLastCursor$next$delegate$lambda","$source","NonLastCursor$next$delegate$lambda$lambda","removeLeastRecent","removeLeastRecentIfNecessary","SimpleLRUCache$set$lambda","$key","$value","SimpleLRUCache$set$lambda$lambda","evicted","SimpleLRUCache$get$lambda","SimpleLRUCache$get$lambda$lambda","SimpleLRUCache$toSequence$lambda$lambda","SimpleLRUCache$toSequence$lambda","SimpleLRUCache$toString$lambda","message","set","toSequence","current","dequeOf","takeFirst","addFirst","synchronizedOn","obj","forceCast"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBA6CIA,CACIC,G,EACAC,cAFJF,EAII;A,QAAMG,MAAU,QAAI,GAAJ,C;;IACZ,wB;YAAoB,G,CAAI,I;;;mBCIM,gB;;;MDFF,QAAI,GAAJ,EA0BgqB,MA1BhqB,C;YC8C7B,M;;ID5CF,U;EAAD,C;;;kBE5BJC,CAAgBC,QAAhBD,EAAqD;A;IAC1C,IAAI,SAAJ,C;;;;sBDoFJ,SA9FuC,SA8FvC,C;YCnFU,SAAS,SAAT,C;;YAEA,yB;;IAHb,U;EAKJ,C;;iBCpBAE,CAAAA,EAA0B;A,IAAS,mBAAT,IAAS,cAAT,IAAS,c;EAAD,C;;;;;uBCiBlCC,CAAAA,EAAgC;A;IAAuB,OCd4B,mC;EDc7B,C;uBAGtDC,CAAAA,EAAgC;A;IAAuB,OEZ4B,qC;EFY7B,C;;qBGzB7CC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;qBAE1BC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;;;oBCJ1BC,CAAcC,KAAdD,EAAyC;A,IAC9C,OAAO,YAAQ,KAAM,KAArB,I;EACJ,C;;;;;;;;sBCFSA,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;;;;;;;;iBCGAE,CAAqBC,IAArBD,EAAyC;A,cAAA,aAAK,IAAL,C;IAAgB,+CAAhB,GAAgB,c;EAAD,C;sBAMxDE,CAAgBD,IAAhBC,EAAyC;A;;iBCHpB,S;IDGgC,OCgQL,aAAnB,MAAmB,SAAnB,MAAmB,mBAnQnC,IAmQmC,C;EDhQI,C;;;;;;;;;;;;;;;;oBVkDpDC,CAAAA,EAAA;A,EAAA,C;mCASIC,CAAqBC,QAArBD,EAAuD;A,IAAwB,OAAxB,mBAAe,QAAf,C;EAAuB,C;;;;;;;sBEtElFD,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAWC,SAAXD,EAA0C;A,IACtC,OAAO,eAAW,SAAX,C;EACX,C;;;;;;;;;sBE0BJH,CAAAA,EAAA;A,EAAA,C;qCAGIG,CAAWE,QAAXF,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;6CAIAA,CAAWG,QAAXH,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;wCAIAI,CAAAA,EAA+B;A,IAC3B,gC;EACJ,C;;;;;oCAnBHP,CAJD,MAICA,EAAA;A;EAAA,C;kDAAoCK,CAAAA,EAE/B;A;IAAU,OAL2B,oB;EAK5B,C;sCAERL,CALP,MAKOA,EAAA;A;EAAA,C;oDACcK,CAAAA,EAA8B;A;IACjD,OANyC,oB;EAM1C,C;;;iBQpBLG,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA2C;A,IAA0B,OAAV,SAAX,cAAL,aAAK,CAAW,C;EAAS,C;eAb3DE,CAAQD,a,EAAmBb,KAA3Bc,EACL;A,IAIC,OAHG,KAAM,QAAW,sBAAkB,aAAlB,EAA8B,UAAN,KAAM,CAA9B,CAAX,GACN,qBAAW,aAAX,4B;EAEJ,C;mBAEJC,CAAQF,aAARE,EAAgD;A,IAAuB,OAAR,wBAAG,aAAH,C;EAAO,C;;;sBJLlEX,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGiB;A,IACb,OAAO,mBAAe,KAAf,EAAsB,KAAtB,C;EACX,C;;;;;;;mBKsSRW,CAAQL,aAARK,EACI;A,IAQC,OARD,SAAS,uCAAT,C;EAQA,C;2BA1FJC,CAAyBC,QAAzBD,EAAqD;A,QACjDE,OAAW,E;QACXC,IAAQ,QAAS,I;WACV,CAAE,I,EAAW;A,gBACT,SAAK,IAAL,C;UAAe,qBAAF,CAAE,I;UAAF,iBAAE,kBAAQ,2BAAR,kBAAQ,C;MAA9B,OAAO,OAAa,yBAAwB,CAAxB,iBAAb,CAAP,I;IACJ,C;IACA,OAAO,I;EACX,C;mBA2DAC,CAAQV,a,EACJG,K,EACAQ,I,EACAC,KAHJF,EAKI;A,IAQC,OARD,SAAS,2DAAT,C;EAQA,C;6BAtEJJ,CAAyBT,QAAzBS,EAAqD;A,IACjD,OAAO,iBAA0B,WAAT,QAAS,CAA1B,C;EACX,C;yBA9BAO,CACIC,S,EACAC,S,EACAC,UAHJH,EAIW;A,IACP,OAAO,iBAAyB,WAAV,SAAU,CAAzB,EAAiD,WAAV,SAAU,CAAjD,EAA+D,UAA/D,C;EACX,C;iBAsCAI,CAAQjB,aAARiB,EAA0C;A,IACtC,OAAY,SAAL,aAAK,CAAS,a;EACzB,C;mBANAC,CAAQlB,aAARkB,EAA4C;A,IACxC,OAAqB,WAAT,OAAL,aAAK,CAAS,C;EACzB,C;2BAnEAL,CACIM,S,EACAC,S,EACAJ,UAHJH,EAIW;A,QACPJ,IAAQ,SAAU,I;QAClBY,IAAQ,SAAU,I;WACX,CAAE,OAAa,CAAE,IAAf,GAAe,K,EAAW;A,UAC/BC,IAAQ,CAAE,I;UACVC,IAAQ,CAAE,I;MACV,IAAI,CAAC,WAAW,CAAX,EAAc,CAAd,CAAL,C,CAAuB;A,QACnB,OAAO,K;MACX,C;IACJ,C;IACA,OAAO,CAAE,IAAF,KAAe,CAAE,I;EAC5B,C;6BAyBAjB,CAAyBM,KAAzBN,EAA+C;A,IAC3C,OAAO,iBAAuB,aAAN,KAAM,CAAvB,C;EACX,C;2BAzBAO,CACIM,S,EACAC,SAFJP,EAII;A,IAEC,OAFD,iBAAe,SAAf,EAA0B,SAA1B,EAAqC,qBAArC,C;EAEA,C;yBAjJJW,CACIC,S,EACAT,UAFJQ,EAGe;A,0CACa,U;;;sBCw8CX,wBAAa,wBAt8CL,SAs8CK,EAAwB,EAAxB,CAAb,C;QAuEA,gBA7gDQ,SA6gDR,I;WAAA,iB,EAAb;A,UAAKb,OAAQ,iB;;sBD/gD2C,WA2Rw/2C,IA3Rx/2C,C;MCghDpD,WAAY,GAAI,SAAJ,C;IAAmB,C;IDhhDnC,OAAO,WCihDA,WDjhDA,C;EACX,C;gCAyRAe,CAAQ1B,aAAR0B,EAA4D;A,IAAiD,OAAZ,WAAxB,wBAAb,yBAAa,CAAwB,C;EAAW,C;kCAR5GA,CAAQ1B,aAAR0B,EACI;A,cAAA,sB;IAKC,OALS,SAAI,4BAAJ,C;EAKV,C;kCAhBJA,CAAQ1B,aAAR0B,EAAkD;A,QACvB,4B;QAAA,S;WAAvB,Y,EAAA;A,UAAMvB,UAAiB,K;MAAA,qB;UAAVC,QAAU,Y;MACnB,IAAI,SAAS,IAAb,C,CAAmB;A,QACf,MAAM,uCAA0B,gBAA1B,GAAyC,OAAzC,GAA8C,UAA9C,C;MACV,C;;IAGJ,mBAAO,aAAP,UAAO,aAAP,c;EACJ,C;gBA9UAuB,CACIX,U,EACAS,SAFJE,EAGe;A,IACX,OAAO,SAAS,4CAAT,C;EAiBX,C;kBAkGAC,CAAQ5B,aAAR4B,EACI;A,cAA+B,WAA3B,aAAS,CAAT,8BAAgB,SAAhB,CAA2B,C;IAE9B,OAFD,wBAA6C,cAA7C,C;EAEA,C;kCA5DarC,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;iDAAAsC,CAxDsBP,C,EAClCC,CAuDYM,E;;G;uDAxDsBP,C,EAClCC,C;;;4BA0SG,c;;;;0CACKO,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CA/TR,E,EAAAE,W;;;0CAwTaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,YAAQ,a;;;;iBACC,KAAF,IAAE,I;;;;;YACL,YAAgB,KAAF,IAAE,I;YACV,SAAF,IAAE,K;;8BACF,kBAAM,IAAN,O;;;;;;;;;;;;;;;;;YAGZ,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EA/LZ,U;;;;;6BA+LYC,CADL,c,oBACKA,E;;qBAAAC,CAAAJ,c,EAAAC,WAAAG,E;;K;;;G;4BAhBL,c,EACJC,M,EACAC,K,EACAC,M;;;;;;;0CAESR,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CApTR,E,EAAAE,W;;;0CA6SaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACU,YAAY,WAAZ,oBAAY,CAAZ,I;;;;iBAAA,a;;;;;YAAA,yB;YAAT,iBAAS,IAAT,K;YAAG,iBAAM,IAAN,K;YACD,uBAAK,IAAL,C;;8BACA,kBAAM,IAAN,O;;;;;;;;;;;;4BACA,aAAe,kBAAN,IAAM,CAAf,O;;;;;;;;;;;4BAEJ,kBAAM,IAAN,O;;;;;;;;;;YAER,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EApLZ,U;;;;;6BAoLYM,CALL,c,EACJH,M,EACAC,K,EACAC,M,oBAESC,E;;qBAAAC,CAAAT,c,EAAAC,WAAAQ,E;;K;;;G;gCA9F4BC,CAAEnB,C,EAAGC,CAALkB,EAAA;A,IACjC,iBAAK,CAAL,C;EACJ,C;uCAsIcC,CAAAC,EAAAD,EAAA;A,QACJtC,QAAY,EAAG,K;;IACjB,kB;MAAQ,MAAM,uCAA0B,gBAA1B,GAA0C,EAAG,KAA7C,GAAmD,UAAnD,C;;YACN,K;;IAFZ,U;EAIJ,C;oCA7UgBb,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;mDAAAsC,CAHmBP,C,EAClCC,CAEeM,E;;G;yDAHmBP,C,EAClCC,C;;;+BAF6CqB,CAAAD,EAAAC,EAAA;A,IAAK,cAAH,EAAG,C;EAAS,C;iCAAYA,CAAAD,EAAAC,EAAA;A,IAAK,OAAH,EAAG,K;EAAO,C;iCAG9CA,CAAAD,EAAAC,EAAA;A,IAAY,qBAAV,EAAG,KAAO,C;EAAG,C;iCAC1BA,CAR3BC,WAQ2BD,E;oBAAAE,CAAExB,C,EAAGC,CAALuB,EAAA;A,MAAqB,OAAX,WAAW,SAAQ,CAAE,KAAV,EAAiB,CAAE,KAAnB,C;IAA0B,C;G;yBAP1EC,U,EADAF,W;;;;;uCAGgBf,CAAAC,c,EAAAC,WAAAF,EACZ;A;;;;EAcA,C;wCAzBR,E,EAAAE,W;;;uCAUoBC,CAAAA,EAAA;A;;MAAA,I;;;;;;wBACa,gBAAV,IAAU,C;wBAAa,WAAI,oBAAJ,C;YAAtC,aAAkF,cAAxB,iBAAU,sBAAV,CAAwB,C;;;;iBAoVd,CAAC,KAnV9D,IAmV8D,I;;;;;;wBAjVpD,gBAAT,IAAS,C;wBAAkC,QAArB,WAAI,sBAAJ,CAAqB,C;gBAC5B,yC;YACd,2BAFoD,qBACtC,oCADsC,CAEpD,C;YAHA,iBAGA,IAHA,K;YAAU,iBAGV,IAHU,K;;4BAIf,kBAAM,IAAN,O;;;;;;;qBACA,kBAAS,IAAT,CAAmB,K;YACf,IAAI,EAAG,KAAP,C,CAAe;A,cACF,KAAT,IAAS,SAAS,IAAT,C;YACb,C,MAAO;A,cACH,iBAAS,IAAT,EAAqB,EAArB,C;YACJ,C;;;;;;;YAGZ,oB;;;;;;;;;;;;EAAA,C;wCAhBgB,c,EA+GnB,U;;;;;0BA/GmBe,CAFhBD,U,EADAF,W,oBAGgBG,E;;qBAAAJ,CAAAb,c,EAAAC,WAAAY,E;;K;;;G;yBAoH6BK,CAAEN,E,EAAIlC,CAANwC,EAAA;A,IAC9B,+BAAG,CAAH,EAAM,EAAN,C;EACf,C;sBJrHA1D,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGkB;A,IACd,OAAO,oBAAgB,KAAhB,EAAuB,KAAvB,C;EACX,C;;;;;;;sBMXJH,CAAAA,EAAA;A;cACqC,I;;IAAA,WCOG,oBAZ0D,QAY1D,C;EDRxC,C;;;;;;;4CAYI2D,CADQlD,a,OACRkD,EAAQ;A,IAAyC,OAAzC,KAAY,CAAZ,IAAY,IAAS,aAAT,EAAe,wEAAf,C;EAA4B,C;oEAAbC,CAD3B,0BAC2BA,E;oBAAAC,CAAAA,EAAA;A,MAAE,2C;IAAW,C;G;2BAbxD7D,CAAAA,EAAA;A,IAAA,yB;IAKwD,kCAAU,CAAV,C;EALxD,C;0CAQQ8D,CADArD,aACAqD,EAAM;A,IACF,OAAiB,0BAAV,IAAU,IAAQ,sDAAR,C;EACrB,C;0CAKJC,CAAItD,aAAJsD,EAAmC;A,IAC/B,OAAkB,8BAAG,sDAAH,C;EACtB,C;0CAEAC,CAAIvD,aAAJuD,EAAmC;A,IAC/B,OAAkB,gCAAG,sDAAH,C;EACtB,C;0CAEAC,CAAoBC,MAApBD,EAA+C;A,IAAgB,OAAT,QAAP,MAAO,C;EAAQ,C;0CAE9DE,CAAoBD,MAApBC,EAAkD;A,IAAkB,OAAX,QAAP,MAAO,C;EAAU,C;0CAEnEC,CAAoBF,MAApBE,EAAkD;A,IAAkB,OAAX,QAAP,MAAO,C;EAAU,C;sBE7BnEpE,CAAAA,EAAA;A,EAAA,C;qCACIqE,CAAaxD,KAAbwD,EAAsC;A,IAAW,OAAX,SAAK,KAAL,C;EAAU,C;qCAEhDlE,CAAWU,KAAXV,EACI;A;IAAA,IAAI,SAAS,IAAb,C;YACI,S;;YAEA,QAAK,KAAL,C;;IACH,U;EAAD,C;qCAEJmE,CAAAA,EAAkC;A,IAAI,yB;EAAD,C;;;;;eAGpCtE,CAAca,KAAdb,EAAL;A,IAA4C,mB;IAAzB,iB;EAAnB,C;8BAA4BuE,CAAAA,EAAA;A,IAAA,gB;EAAW,C;8BAE/BC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAYNC,CAAAA,EAAyB;A,IAAc,OAAb,OAAa,GAAP,IAAO,CAAP,IAAO,GAAF,G;EAAC,C;oCA9BvDC,CAAAA,EAAA;A,IAAA,kD;EAAA,C;kCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,6B;MAAA,Y;QAAA,kE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;eAiCI3E,CAAAA,EAAA;A;IAAc,mB;EAAd,C;8BAEQuE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;8BAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;oCAQPC,CAAAA,EAAyB;A,IAAK,OAAJ,M;EAAI,C;;;;;;;mBA5CxCzE,CAAAA,EAAP;A,EAAA,C;kCAoDQ4E,CAAAA,EAAQ;A,IAAU,OAAV,CAAC,S;EAAQ,C;;;kBCxBzBC,CAAsCpE,a,EAAUqE,IAAhDD,EAA2E;A,cAAA,wBAAY,IAAZ,C;IAAsB,oCAAtB,GAAsB,c;EAAD,C;6BCnBhGE,CAAiBtE,a,EAAqBuE,MAAtCD,EAA4D;A,IAA4B,OAA5B,eAAe,aAAf,EAAqB,MAArB,C;EAA2B,C;sBCqBnF/E,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAW8E,MAAX9E,EACI;A;IAAA,IAAI,MAAO,IAAX,C;YACI,eAAW,MAAX,C;;;;IAGH,U;EAAD,C;;;;;oCAzBJH,CADJ,MACIA,EAAA;A,IACyC,kB;EADzC,C;kDAGakF,CAAAA,EAAyB;A,IAAe,OAAf,CAAC,IAAQ,CAAR,IAAQ,K;EAAK,C;kDAEvCC,CAAAA,EAAc;A,QACnBC,SAAa,IAAQ,CAAR,IAAQ,K;IACrB,YAAU,IAAQ,CAAR,IAAQ,K;IAClB,OAAa,cAAN,MAAM,C;EACjB,C;yBAlBMpF,CAAAA,EAAlB;A,EAAA,C;8CACayE,CAAAA,EACL;A,IAIC,OAHG,IAAK,QAAW,IAAX,GACL,CAAC,IAAK,KAAN,GAAkB,GAAlB,GAAoB,SAApB,GAA2B,GAA3B,GACS,GADT,GACW,SADX,GACkB,Q;EACtB,C;uCAEKpE,CAAAA,EACL;A,IAUC,OAVD,mC;EAUA,C;;;;wCAKAgF,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;wCAEPC,CAAYC,MAAZD,EAAuD;A,IAA0B,OAA1B,iBAAa,IAAb,EAAmB,MAAnB,C;EAAyB,C;0CAhBjDC,M;;;qBCTvCvF,CAAoBI,SAApBJ,EAAL;A,IAAyB,qB;IAC0B,qC;EADnD,C;oCAIQwF,CAAAA,EAAQ;A,IAAgB,OAAhB,IAAO,CAAP,IAAO,K;EAAQ,C;oCAGvBC,CAAAA,EAAQ;A,IAAe,OAAf,IAAO,CAAP,IAAO,K;EAAO,C;oCAGtBlB,CAAAA,EAAM;A,IACF,S;IACA,OAAmB,cAAZ,IAAO,CAAP,IAAO,KAAK,C;EACvB,C;oCAEKmB,CAAAA,EAAiB;A,IACtB,IAAI,SAAJ,C,CAAe;A,MACX,YAAkB,wBAAK,WAAL,C;IACtB,C;EACJ,C;oCAESC,CAAAA,EAAiB;A,IACtB,YAAkB,yB;EACtB,C;0CA5BJlB,CAAAA,EAAA;A,IAAA,gD;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;iDCWqDiB,CAPrD,MAOqDA,E;oBAAAC,CAAAA,EAAA;A,MAC7C,OACI,MAAM,CAAN,IAAM,QAAW,sBAAkB,MAAM,CAAN,IAAM,KAAxB,EAA8B,MAA9B,CAA8B,IAA9B,CAAX,GACN,MAAO,CAAP,IAAO,QAAU,MAAO,CAAP,IAAO,KAAjB,GACC,MADD,CACC,I;IAEhB,C;G;4BAbK7F,CACL8F,K,EACAC,MAFK/F,EAAT;A,IAGI,yB;IAFA,iB;IACA,kB;cAK4C,I;IAAA,gBAAK,4CAAL,C;EAPhD,C;2CAKQgG,CAAAA,EAAQ;A,IAA6B,OAA7B,IAAM,CAAN,IAAM,QAAU,IAAO,CAAP,IAAO,KAAjB,GAAiB,K;EAAK,C;2CAECC,CAAAA,EAAG;A;iBCEhD,I,CAAA,I;IAAA,c;IDFgD,OCgC4C,W;ED1BxF,C;2CAGIC,CAAAA,EAAQ;A,IAAoD,OAAhD,IAAM,CAAN,IAAM,KAAV,GAAmB,IAAM,CAAN,IAAM,KAAzB,GAAsC,IAAO,CAAP,IAAO,K;EAAM,C;2CAG3DC,CAAAA,EAAQ;A,IAA+B,OAA/B,IAAM,CAAN,IAAM,eAAW,IAAO,CAAP,IAAO,K;EAAM,C;+CAEjCxB,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IACjC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;iDAESD,CAAAA,EAAoB;A,QACzBU,SAAmB,SAAN,IAAM,CAAN,IAAM,C;IACnB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;uBA9ByCgB,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgCs8BC,QAhCt8BD,E;;K,EAAA,I;G;sBET7CrG,CAAAA,EAAA;A;IAA8B,yB;EAA9B,C;qCAEQiG,CAAAA,EAAQ;A,IAAA,MAAM,sC;EAAuB,C;qCAGrCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;qCAGZH,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;2CAENvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;qCAExDa,CAAYC,MAAZD,EAA6D;A,IAAI,OAAJ,I;EAAG,C;uCAFVC,M;;;sCAI0PA,M;;;;;;;;;yBCf/SvF,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;wCACauG,CAAAA,EAAA;A,IAAA,gB;EAAa,C;wCACbhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;wCANxB9E,CAAAA,EAAA;A,IAAA,gB;EAAA,C;wCAAAC,CAAAA,EAAA;A,IAAA,gB;EAAA,C;8CAAA+E,CAAAA,EAAA;A,IAAA,yE;EAAA,C;8CAAAC,CAAAA,EAAA;A,QAAAU,kB;IAAA,6E;IAAA,a;EAAA,C;4CAAAT,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;QAAA,4E;IAAA,+C;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;wCAYk+B/E,K;;;8BCTv7B4G,C,KAAAA,EAAG;A;iBHD+B,K,CAAA,I;IAAA,iB;IGC/B,OHwC8C,W;EGtCxF,C;6CAF+CC,CADnD,MACmDA,E;oBAAAC,CAAAA,EAAA;A,MAC3C,yBAAc,MAAd,CAAc,IAAd,C;IACJ,C;G;qBAHU1G,CAAoB2G,QAApB3G,EAAd;A,IAA+D,yB;IAA7B,oB;cACY,I;IAAA,gBAAK,wCAAL,C;EAD9C,C;oCAMQqF,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXY,CAAAA,EAAQ;A,IAAY,OAAZ,yBAAQ,K;EAAG,C;oCAGnBC,CAAAA,EAAQ;A,IAAe,OAAf,yBAAQ,K;EAAM,C;oCAGtBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;mCAExDpE,CAAAA,EAA8B;A,IAAkB,OAAlB,yBAAQ,I;EAAS,C;;;;0CAxB5DqE,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;0BAG2CiC,CAAAA,E;kCAAA,S,KAAA,U,WAAAP,CAuBy8CC,QAvBz8CD,E;;K,EAAA,I;G;0BCC7BrG,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;yCACauG,CAAAA,EAAA;A,IAAA,gB;EAAc,C;yCACdhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;yCAEX5E,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;yCAM22BC,K;;;+CAhB/2B6E,CAAAA,EAAA;A,IAAA,qF;EAAA,C;+CAAAC,CAAAA,EAAA;A,QAAAU,6B;IAAA,6E;IAAA,a;EAAA,C;6CAAAT,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;QAAA,6E;IAAA,iD;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;+CCSoCkC,CAPpC,MAOoCA,E;oBAAAC,CAAAA,EAAA;A,MAAE,mBAAsB,cAAf,MAAQ,CAAR,IAAQ,KAAO,CAAtB,C;IAA0B,C;G;uBAPvD9G,CACL+G,O,EACAxB,MAFKvF,EAAT;A,IAGI,yB;IAFA,mB;IACA,kB;cAK2B,I;IAAA,gBAAK,0CAAL,C;EAP/B,C;sCAKQiG,CAAAA,EAAQ;A,IAAwB,OAAxB,IAAQ,CAAR,IAAQ,KAAK,IAAI,IAAJ,CAAI,IAAJ,C;EAAU,C;sCAEXC,CAAAA,EAAG;A;iBLA/B,I,CAAA,I;IAAA,iB;IKA+B,OLkC6D,W;EKlC5B,C;sCAGxDC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;sCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPrB,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAW,KAAX,CAAiB,IAAjB,CAAJ,C;MAA8B,OAAO,K;IACrC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;4CAESD,CAAAA,EAAoB;A,QACzBU,SAAqB,SAAR,IAAQ,CAAR,IAAQ,C;IACrB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;sCAESE,CAAYC,MAAZD,EAAuD;A,IAA8C,OAA9C,gBAAY,OAAO,SAAP,CAAZ,EAA6B,SAAK,IAAI,MAAJ,CAAlC,C;EAA6C,C;wCApB9GC,M;;;uCAeoBA,M;;;0BArBKyB,CAAAA,E;kCAAA,S,KAAA,U,WAAAX,CA4BqlCC,QA5BrlCD,E;;K,EAAA,I;G;6CCJyBY,CAHrBC,O,EAAhC,MAGqDD,E;oBAAAE,CAAAA,EAAA;A;mB5BAvB,wBAAG,OAAH,C;;;M4BCW,cAAc,I;MAArB,O5B4FvB,M;I4B3FP,C;G;wBALKnH,CAAuBiF,MAAvBjF,EAAT;A,IAAuD,yB;IAChB,kB;cAES,I;IAAA,gBAAK,gDAAL,C;IAIX,YAAP,MAAO,I;EAPrC,C;uCAG6CiG,CAAAA,EAAG;A;iBNF9C,I,CAAA,I;IAAA,gB;IME8C,ONsC4C,W;EMpCxF,C;uCAESC,CAAAA,EAAA;A,IAAA,gB;EAA6B,C;uCAGlCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;uCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;6CAEPvB,CAAAA,EAAuB;A,IAC5B,OAA6B,sCAAtB,IAAsB,C;EACjC,C;yBAdyC2B,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgB6jDC,QAhB7jDD,E;;K,EAAA,I;G;4BCmBjCe,C,KAAAA,EAAkD;A;oBCHtB,KAgjB7B,CAhjB6B,IAgjB7B,K;QD5iBmC,uBAAb,SAAa,C;;QAAjCnI,MnBLkB,cAgSqC,K;;QmB3RlD4B,QnBLa,cA6SqC,K;ImBvS5D,KAAM,CAAN,IAAM,IAAO,GAAP,C;IACN,OAAgB,wBAAK,QAAO,KAAP,CAAL,C;EACpB,C;uCAEQwG,C,KAAAA,EAA6D;A;IAC1D,IAAI,KAAM,CAAN,IAAM,IAAN,IAAc,KAAd,CAAc,IAAlB,C;YACH,wB;;YAES,yB;;IAHb,U;EAKJ,C;oCAlBuBC,CAJvB,M,EACIC,I,EACAC,MAEmBF,E;oBAAAG,CAAAA,EAAA;A,UACfC,UAAc,oC;mBACd,M,CAAA,I;gBAAM,I;kBAAO,M;MA8Ds6N,UAAI,GAAJ,EAAS,KAAT,C;MA7Dn7N,c;IACJ,C;G;oCAiBmBC,CADvB,M,EAAiBJ,IACMI,E;oBAAAC,CAAAA,EAAA;A;MACf,IAAI,MAAM,CAAN,IAAM,IAAY,IAAZ,CAAV,C;cACa,wBAAG,eAAM,IAAN,CAAH,C;;cAEA,yB;;MAHb,U;IAKJ,C;G;kDA2BmCC,CAAAzE,EAAAyE,EAAA;A;IAAK,OnB+PgB,SAlRT,EAkRc,KAAL,EAlRT,EAkRmB,KAAV,C;EmB/PP,C;2CAD9BC,CADvB,MACuBA,E;oBAAAD,CAAAA,EAAA;A,gBACD,WAAd,MAAM,CAAN,IAAM,KAAQ,C;MAAiC,gBAApB,SAAI,uCAAJ,CAAoB,C;IACnD,C;G;yCAG0CE,CAAA3E,EAAA2E,EAAA;A,IAAE,YAAG,EAAH,CAAM,IAAN,GAAY,KAAZ,GAAiB,EAAjB,CAAoB,I;EAAS,C;yBArExE/H,CAA2BE,QAA3BF,EAAT;A,IAAoC,oB;;;;;IE4BhC,IAAI,EAzBD,YAAW,CAyBV,CAAJ,C,CAAY;A;UACRgI,UAdc,qB;MAed,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;IF1BoB,yC;EALxB,C;wCAOaC,CACLhJ,G,EACA4B,KAFKoH,EAIL;A,IAIC,OAJD,yBAAmB,2CAAnB,C;EAIA,C;wCAgBK5B,CAAQpH,GAARoH,EACL;A,IAMC,OAND,yBAAmB,oCAAnB,C;EAMA,C;4CAOK1B,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,gBAAY,KAAZ,CAAkB,IAAlB,CAAJ,C;MAAgC,OAAO,K;IACvC,IAAI,kBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IAEjC,OAAO,I;EACX,C;8CAESD,CAAAA,EAAoB;A,QACzBU,SAAa,IAAbA,CAAa,I;IACb,SAAS,SAAK,MAAL,IAAc,IAAM,CAAN,IAAM,WAA7B,I;IACA,OAAO,M;EACX,C;wCAES8C,CAAAA,EACL;A,IAEC,OAFD,yBAAmB,sCAAnB,C;EAEA,C;8CAEKzD,CAAAA,EAAuB;A,cACH,S;IAAzB,OAAQ,iBAAR,GAA2E,aAArC,SAAI,8BAAJ,CAAqC,EAAc,IAAd,CAA3E,GAA8F,G;EAClG,C;sBG3EKzE,CACLmI,O,EACAhD,IAFKnF,EAAT;A,IAGI,yB;IAFA,mB;IACA,gB;EAFJ,C;qCACakG,CAAAA,EAAA;A,IAAA,gB;EAAa,C;qCACbD,CAAAA,EAAA;A,IAAA,gB;EAA8B,C;qCAGnCE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;kBCEboC,CAAgB/G,KAAhB+G,EAAoD;A,IACvD,OAAa,cAAN,KAAM,C;EACjB,C;oBAZOA,CAAgB/G,KAAhB+G,EAAiD;A,IACpD,OAAO,cAAe,KAAD,QAAd,C;EACX,C;oBAEOA,CAAgB/G,KAAhB+G,EAAoD;A;;iBCgGH,2B;;;ID9F7C,OA6Bi1E,MA7Bj1E,EAAO,KAAP,C;IADP,OjC2FO,M;EiCxFX,C;oBAqBOC,CAAQ5H,aAAR4H,EAAuC;A,IAC1C,IAAI,iBAAJ,C;MAAe,OAAO,I;QACtBvC,QAAY,iBAAI,CAAJ,C;IACZ,aAAK,IAAS,CAAT,C;IACL,OAAO,K;EACX,C;mBApBOwC,CAAQ7H,a,EAAwBW,IAAhCkH,EAAyC;A,IAC5C,aAAK,IAAI,CAAJ,EAAO,IAAP,C;EACT,C;qBAEOA,CAAQ7H,a,EAAwBY,KAAhCiH,EAAoD;A,QACvDpH,IAAQ,kB;QACK,yB;WAAA,iB,EAAb;A,UAAKE,OAAQ,iB;MACT,CAAE,IAAI,IAAJ,C;IACN,C;EACJ,C;yBEvBOmH,CACHC,G,EACAxD,MAFGuD,EAGA;A,IAAQ,OAAR,Q;EAAO,C;oBCFPE,CAAQhI,aAARgI,EAA4B;A,QAC/BrF,KACkB,a;IAClB,OAAO,E;EACX,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/README.md

@@ -0,0 +1,120 @@
+# Arg2P
+
+Quick links:
+
+- [GitLab Repository](https://gitlab.com/pika-lab/argumentation/arg2p-kt)
+- [GitHub Repository](https://github.com/tuProlog/arg2p-kt)
+- [Maven Repository](https://search.maven.org/search?q=g:it.unibo.tuprolog.argumentation)
+- [NPM Package](https://www.npmjs.com/package/@tuprolog/arg2p-core)
+- [Documentation](https://pika-lab.gitlab.io/argumentation/arg2p-kt)
+
+
+Arg2Prolog is a lightweight implementation of the ASPIC<sup>+</sup>-like framework for structured argumentation. 
+It is built on the top of the [tuProlog](http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin/) engine.
+
+More information about the project can be found on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/).
+
+### Get Started
+
+The Arg2p library is available in two different forms: as a standalone application (Arg2p Java IDE), and as a [2P-Kt](http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin/) library.
+
+#### Graphical User Interface
+
+If you need a GUI for your Prolog interpreter, you can rely on the Arg2p IDE which is available on the [Releases section of the
+GitHub repository](https://github.com/tuProlog/arg2p-kt/releases).
+
+The page of the [latest release](https://github.com/tuProlog/arg2p-kt/releases/latest) of Arg2P exposes a number of _Assets_.
+There, the one named:
+```
+arg2p-ide-VERSION-redist.jar
+```
+is the self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (`VERSION` may vary depending on the
+actual release version).
+
+After you download the `arg2p-ide-VERSION-redist.jar`, you can simply launch it by running:
+```bash
+java -jar arg2p-ide-VERSION-redist.jar
+```
+However, if you have properly configured the JVM on your system, it may be sufficient to just double-click on the JAR to start the IDE.
+
+There, one may query the Arg2p Prolog interpreter against the currently opened theory file, which can of course be
+loaded from the user's file system by pressing <kbd>File</kbd> and then <kbd>Open...</kbd>.
+
+To issue a query, the user must write it in the query text field, at the center of the application.
+By either pressing <kbd>Enter</kbd> while the cursor is on the query text field, or by clicking on the <kbd>&gt;</kbd> button, the user can start a new resolution process, aimed at solving the provided query.
+Further solutions can be explored by clicking on the <kbd>&gt;</kbd> over and over again.
+One may also compute all the unexplored solutions at once by clicking on the <kbd>&gt;&gt;</kbd> button.
+
+To perform a novel query, the user may either:
+- write the new query in the query text field, and then press <kbd>Enter</kbd>, or
+- click on the <kbd>X</kbd> (Stop) button, write the new query in the query text field, and then press <kbd>&gt;</kbd>.
+
+For a deeper introduction on the Arg2p IDE you can refer to the original [2P-Kt](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) page.
+The Arg2p version of the IDE introduces two additional tabs:
+- the _Graph_ tab, containing the graphical representation of the abstract argumentation graph (available only if leveraging the abstract query mode -- `buildLabelSet` predicate);
+- the _Arg Flag_ tab, allowing the user to see/modify the values of the Arg2p flags. A comprehensive description of these values can be found on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/wiki/predicate).
+
+#### Gradle users
+
+To import the Arg2p module (version `ARG2P_VERSION`) into your Kotlin-based project leveraging on Gradle,
+you simply need to declare the corresponding dependency in your `build.gradle(.kts)` file:
+ ```kotlin
+dependencies {
+    implementation("it.unibo.tuprolog.argumentation", "arg2p", "ARG2P_VERSION")
+}
+ ``` 
+
+Don't forget to tell Gradle to use Maven Central as a source for dependency lookup. You can do it as follows:
+```kotlin
+repositories {
+    mavenCentral()
+}
+``` 
+
+##### JVM-only projects with Gradle
+
+In the case your project only targets the JVM platform, remember to add the `-jvm` suffix to the module name:
+ ```kotlin
+dependencies {
+    implementation("it.unibo.tuprolog.argumentation", "arg2p-jvm", "ARG2P_VERSION")
+}
+ ``` 
+
+#### Maven users
+
+To import the Arg2p module (version `ARG2P_VERSION`) into your Kotlin-based project leveraging on Maven,
+you simply need to declare the corresponding dependency in your `pom.xml` file:
+ ```xml
+<dependency>
+    <groupId>it.unibo.tuprolog.argumentation</groupId>
+    <artifactId>arg2p</artifactId>
+    <version>ARG2P_VERSION</version>
+</dependency>
+ ``` 
+
+##### JVM-only projects with Maven
+
+In the case your project only targets the JVM platform, remember to add the `-jvm` suffix to the module name:
+ ```xml
+<dependency>
+    <groupId>it.unibo.tuprolog.argumentation</groupId>
+    <artifactId>arg2p-jvm</artifactId>
+    <version>ARG2P_VERSION</version>
+</dependency>
+ ``` 
+
+#### NPM users
+
+The Arg2P software is available on NPM as a JavaScript library as well. It can be found under the [`@tuprolog` organization](https://www.npmjs.com/org/tuprolog).
+To import the Arg2p library into your `package.json`, it is sufficient to declare your dependency as follows:
+```json
+{
+  "dependencies": {
+    "@tuprolog/arg2p-core": "^ARG2P_MODULE_VERSION"
+  }
+}
+```
+
+### Issue tracking
+
+If you meet some problem in using Arg2p, you are encouraged to signal it through the project ["Issues" section](https://gitlab.com/pika-lab/argumentation/arg2p-kt/-/issues) on GitLab.

package/arg2p-causality-solver.js

@@ -0,0 +1,30 @@
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './kt-math.js', './2p-solve-classic.js', './arg2p-core.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./kt-math.js'), require('./2p-solve-classic.js'), require('./arg2p-core.js'));
+  else {
+    if (typeof this['kt-math'] === 'undefined') {
+      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
+    }
+    if (typeof this['2p-solve-classic'] === 'undefined') {
+      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
+    }
+    if (typeof this['arg2p-core'] === 'undefined') {
+      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
+    }
+    root['it.unibo.tuprolog.argumentation:causality-solver'] = factory(typeof this['it.unibo.tuprolog.argumentation:causality-solver'] === 'undefined' ? {} : this['it.unibo.tuprolog.argumentation:causality-solver'], this['kt-math'], this['2p-solve-classic'], this['arg2p-core']);
+  }
+}(this, function (_, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_argumentation_core) {
+  'use strict';
+  //region block: pre-declaration
+  //endregion
+  //region block: exports
+  kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);
+  kotlin_it_unibo_tuprolog_solve_classic.$jsExportAll$(_);
+  kotlin_it_unibo_tuprolog_argumentation_core.$jsExportAll$(_);
+  //endregion
+  return _;
+}));
+
+//# sourceMappingURL=arg2p-causality-solver.js.map

package/arg2p-causality-solver.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;"}