deolingo/__init__.py,sha256=dEg-wCJvw57s7ixSDsoUvb8PgRblJMXAwY6gMviUmV4,163
deolingo/__main__.py,sha256=4o_kl3PTzW3XfxPPzFoQ6aIznwXKyL0Om7o7Y1ueSjw,300
deolingo/_answer_set_rewriter.py,sha256=AEM46tq-ssd2c21vl6wSPZHVtl93Oq2Xtk_qpKVc12g,3197
deolingo/_application.py,sha256=nBluBQPNYFXL_Vo3aV--NX_y8a52OmF0Ys8Pq8mzX-I,7694
deolingo/_ast_rewriting_transformer.py,sha256=mhFUR3LmxHz8nTO_YyWxYUr1w-orWtWY-KaGQSv5RUw,10022
deolingo/_ast_transformer.py,sha256=aYYjBgkuz_zKQk0AzzY8DnHzJvFOxRJ8b2Hk039CRjc,14029
deolingo/_benchmark.py,sha256=kB1FTmtmh-diWCND_GmPeT4uMmlFYY8-tpxXaBeQfNM,2781
deolingo/_deolingo_theory.py,sha256=fFdTJTEdZiKerROmItPS0znRk46hgCVpwUTO_WGVLmk,3760
deolingo/_deontic_atom.py,sha256=xKLqXM_8Xu6lt70ay-bgAXdzB3MHuIuqVrY5mNjqSQQ,6775
deolingo/_deontic_rules.py,sha256=RpSIQ2KYmE7171fdGEJ3H1dJ_UK3QRoTaqLVWNEsm1s,9758
deolingo/_generator.py,sha256=PAAkhjkkZ03UtSlZsAmhCRBseMWplMTdJUMrxo2-GCI,9862
deolingo/_rewriting_translator.py,sha256=w-Vke4mwMoTJ8qOweWcaZ-NLVsbAobgS4Brc9eiN3nM,3277
deolingo/_telingo_app.py,sha256=6P3B-fxbBnPIiEP3TdKuHtRoyOHrFCAENRVMp-k5FHU,3012
deolingo/_translator.py,sha256=za27GJDtJX8Re2JT-1lmc9pGG1AAA03VZ_G-h46QWcY,5726
deolingo/_version.py,sha256=_NBZQ6H6CK5oi2xRVGbNtPVZMV2TOTiC5HCVgUQN35Q,23
deolingo/control.py,sha256=alWfXtJmWGoMhV3vE_YjVtYpaWWby0xESKKjX85GBP8,2955
deolingo/deolingo_theory.lp,sha256=7bH5phUDj7XvhB98MJhGcTqqdKfh8ZwVu_l5cHRj8lI,1372
deolingo/deontic_rules.lp,sha256=rd-aBVab_lZvgpzE9qaQnJdNbTy6E8CdbLH2xji12RE,5281
deolingo/examples.py,sha256=6WXOwmafNPXYKqE6GvB2nftyV1pG_WKv_4pMYVmxXk0,1575
deolingo/rewriting_control.py,sha256=GIz8fpUQ3BirkfWeutosEwt807ISfQdcf7ojjTBrip4,705
deolingo/solver.py,sha256=rJPMsk9abqJHlM5DCJ5S8oA4FajALaBrh6Md5DFCCx8,813
deolingo/xcontrol.py,sha256=BNjbbc7dP8URCTTx4fzVfpxvOT9FMhNXgp11CKppb_Y,1474
deolingo/xsolver.py,sha256=W0_0EOQ-M1zHyAqhWVIdKtFlG5OcmCUfIFwIOAcP9vo,451
deolingo/domain/__init__.py,sha256=PPPerCYX54Z8XhBEx4C9zMkXcVTj1J2N63JbFHwxwfc,36
deolingo/domain/explain_deontic_program_command.py,sha256=q3-kX5h-WTQgkISOtwV4FX78dJEs_E00Ck48q0JC69I,946
deolingo/domain/generate_deontic_program_command.py,sha256=CFBnuViLs2ghRG396lkiyTcwqBLEyTbMfSwbB2ykexk,516
deolingo/domain/run_benchmark_command.py,sha256=PCH9041lE6p3FIPiOa9iFhciVnfr_rACoWOcN3CNs3U,342
deolingo/domain/solve_deontic_program_command.py,sha256=p0VCsKl_2u4uQe-88VYezL9nYUv9_kKM_oMI8Jytfjc,1129
deolingo/domain/solve_temporal_deontic_program_command.py,sha256=d7tIZu0zaeB89ktcTyhpSCXOSJLrZXy79xyEh_FnBCk,466
deolingo/domain/use_case_command.py,sha256=f3nCabXLV1OJszBnCJ5sVm8kTtAsCTMNxxQU2xB5Kgs,97
deolingo/examples/benchmark/example1.lp,sha256=DItTPjAjOa9hXghGt8Lb8-GWDeTC2jPIppjP9jbZ74A,174
deolingo/examples/benchmark/example2.lp,sha256=DmU8aRJRnIUfeLhpRAIj9Am5IIE3QWDjmX2knBQyi_Y,253
deolingo/examples/benchmark/example3.lp,sha256=jzRHvnab454gI8h556zCiv22zrGnIMXBQSAEIHb0CWM,311
deolingo/examples/benchmark/example4.lp,sha256=O2_w1_HmC3Zj_LvrcgAiRKAXAqqESHL7R_SXvdFYZFw,2317
deolingo/examples/benchmark/example5.lp,sha256=7v4fuQkhL3FAhk1szfEsM26WfIbs3446u2i0EZkEJZY,1008
deolingo/examples/benchmark/example6.lp,sha256=H6DtlZ1ZD7CCnKUMJNTOUGIVohGPNIhoTv481ur0fmM,408
deolingo/examples/benchmark/example7.lp,sha256=PAdPRv_88ZQ_YECHW9qWfdbAiA4ElBuJzmwcPfc1Uog,8533
deolingo/examples/benchmark/example8.lp,sha256=h6Lp2Kr9e1sVmqmjBGYGFg0j46PkcfughtCFOZywIWo,8653
deolingo/examples/delx/example1.1.lp,sha256=rnm9AOmjyJdvbHduYGdeNcHa2XHtDewzQ8oTxDFxZew,537
deolingo/examples/delx/example1.2.lp,sha256=vbA9AtAwSZrMX9QzIjKrRkRzU-A5Ve5HTR_AIPCkDes,541
deolingo/examples/delx/example2.lp,sha256=sxdarTugBCK-dRWVTJgdtEQiEsUQxaTQn-Xr5srcGXk,521
deolingo/examples/delx/example3.lp,sha256=S7Os_0m3v2KItDIt20bQhajFCgMmD7jBE7wAdoIx3FY,524
deolingo/examples/delx/example4.lp,sha256=ZQn9E0PrEEpvakhjAVc_lzY38NL2V5TSqF6lUSRD3-Y,538
deolingo/examples/delx/example5.1.lp,sha256=ZK5vtdncQ1ffe6fdzJ7jC74131krgeGWgEc0lhSSRDo,607
deolingo/examples/delx/example5.2.lp,sha256=CLEAbc_sL9AvZaybutZEOXxfEOIq77ZzFCzovUC1mi4,607
deolingo/examples/delx/example6.1.lp,sha256=Tb_GMbOduqZIfiAqkZGViZSbvvqMHhSSFptBFGPw21U,657
deolingo/examples/delx/example6.2.alt.lp,sha256=IC4WYdi2W4Mkl8H1W-ExiRXkZ66s2pAEvOHV1Tgz7YQ,682
deolingo/examples/delx/example6.2.lp,sha256=8Z3R3FkqlQC6Sxv5INmJd_e_shWRW2vvqtzmCv-UBaA,737
deolingo/examples/delxx/example1.1.lp,sha256=vkSnyqQhFKOPMDSCczyfanGcKJHksXJz3CJCySvkXio,854
deolingo/examples/delxx/example1.2.lp,sha256=j1GOEvyxVKfJlylV7xLtXpJZ56FMXuQHM-aTlwPEdTQ,865
deolingo/examples/delxx/example2.lp,sha256=vdMls59LeRf98PkbKrEUlG4Ua4BSlbyEVqzCPi1Z99Y,895
deolingo/examples/delxx/example3.lp,sha256=-LHxixETg0GjV8SUt5YNQ3_XsexEs4GXlUg_HTFwkUc,896
deolingo/examples/delxx/example4.lp,sha256=4QdALyaoDEDNPAcG94MjTtniCf9Ux3GL8shKcnZENRY,947
deolingo/examples/delxx/example5.1.lp,sha256=cODq5YjTnaUUiVQg-2I_sRSdp86if_87HpcHJQSkj4s,1033
deolingo/examples/delxx/example5.2.lp,sha256=dbWEU6QfN6JCbeGCSVwrWqY0pSx3MqEgLDRVgV01o-Q,1017
deolingo/examples/delxx/example6.1.lp,sha256=t8rOyrk0PtKjOzqtMwxTSj3AtoSd4XRHu-Qr7clamBw,953
deolingo/examples/delxx/example6.2.lp,sha256=f5oOGd6Z8XnS998O-BqD019aKeOxsbIfz_AeDeldgV0,952
deolingo/examples/other/detachment.lp,sha256=0NJ16ecX5UoJG8_CBTHH1pqGsqnfc7bXVHqrKp3Yof8,502
deolingo/examples/other/traffic120.lp,sha256=7QPI06siWEYLP8-8PeKrDNqLfA4bcRuNw0Tpmk-JVng,2322
deolingo/examples/other/udhr.lp,sha256=lslfjEXn4JvPYYxEOs6HeOpjRytjrDe-vi6j8GNILwI,21431
deolingo/examples/plato/chisholms_puzzle.alt.lp,sha256=Rk04yl4gf7OHP1UIgmb7ZB09A8dTkonm2NXgS1Uuc58,581
deolingo/examples/plato/chisholms_puzzle.alt2.lp,sha256=rNLqjGDhylKBnpLyThYZMJEWcWqOE0SkKxyoHwb-EJU,496
deolingo/examples/plato/chisholms_puzzle_path1.lp,sha256=ljiETcL1C45QcJlT2ilmpe-cgGI26o63ZnOccrwURKE,515
deolingo/examples/plato/chisholms_puzzle_path2.lp,sha256=btV_mUPjsvbS4cmRde7GImDRPEPJ7Eyqi_yBrRMub-o,528
deolingo/examples/plato/chisholms_puzzle_path3.lp,sha256=CgztZrCjYbbX7oy5Dwh4SPIlIkmYewXNpquQmwmFr-U,515
deolingo/examples/plato/chisholms_puzzle_x.lp,sha256=JksozuQU2u_DhKGtB_l90-7rkc28WZJCAWTwC8h7HwU,801
deolingo/examples/plato/chisholms_puzzle_x2.lp,sha256=-wXw-NlWzReyJ5n02baUcWbL9mwDQwKRxGBBSWhwczE,1262
deolingo/examples/preliminary/example1.lp,sha256=E1jIGPfqIRHP7J2tTRW0lN6gUs9NKqZulDvm5KXUzYk,92
deolingo/examples/preliminary/example2.lp,sha256=vvQKBoReSHMnvbEa94ZBPEbHO54ENB0gMnUgeF7obaQ,328
deolingo/examples/preliminary/example3.lp,sha256=_XK9AkO0EJd4SkzuGHSHY3FhVz2aMTP0u5x-soJeLX8,148
deolingo/examples/preliminary/example4.lp,sha256=2lgfuCXycsVjfMnRuXg1_tSG4uzamwJNuCGLduyzZ_4,262
deolingo/examples/preliminary/example5.lp,sha256=nAvPPIUHkll_Sz7qbX09pstj8Hj_sUl6EPPyPGbUjlA,355
deolingo/examples/real/udc_library.case1.1.lp,sha256=HLAk1pWibIFeczq90NfQnOY8Rafmqe0m5wapZKnqCJk,44
deolingo/examples/real/udc_library.case1.2.lp,sha256=kdVzCCaPfUCaP9G14WZ2sGnYWc4Qk1XGD80X8MtjEGE,106
deolingo/examples/real/udc_library.case1.3.lp,sha256=f_2KPZE9jveFlAQsDGJa_QXY9UlA4eYaN5zfRGSmCc0,102
deolingo/examples/real/udc_library.case1.lp,sha256=JSpgljr_UEYVPgAVaM8thLQmwNFdU6-p9jC4zOiK2HE,3041
deolingo/examples/real/udc_library.kb.lp,sha256=YuMXpa6xTyqKCCaR6DkVsi10BJfwttSnVbiEMBgtlXU,10526
deolingo/examples/telingo/example1.lp,sha256=O_iBmcpt_Ggrx6vjk9PYnCkn1OsOKHZ9LYJTdsbaRMk,391
deolingo/examples/xclingo/dont_drive_drunk.1.lp,sha256=3sCmOIQKLPvEbLWHO1sNB44oAawLcZGBOB557e3prwQ,882
deolingo/examples/xclingo/dont_drive_drunk.2.lp,sha256=imRZmK_EzpmnYZg1YW0hVWaYflwweFQ-rVZ2Yc3o4TA,1025
deolingo/examples/xclingo/dont_drive_drunk.lp,sha256=2B1nlGdo3pp0arU2ho4Fa-0WoENccEaOxTp32Qyba68,725
deolingo/examples/xclingo/example1.lp,sha256=FnODiMVKPIeLH5iCFrpHjBlMZnu3nmHswuUGIL3pBpU,178
deolingo/examples/xclingo/example2.lp,sha256=UmMa9a2biKQwAqvsaxm8c6wDuhTUknatiAn0mHnFG-Q,344
deolingo/examples/xclingo/example4.lp,sha256=d300l-UI9X2SDNjxNXz9nBKH7SF8fAg04YvC4Yv-GTA,457
deolingo-1.0.3.dist-info/licenses/LICENSE,sha256=wtT6DqRnavyiwLRjCrEM-8IJ_r89kxBwjfjrES2EDx4,1077
tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/test_ast_rewriting_transformer.py,sha256=ncRrEcjXLMVBa0fO-h-Bt9NZKxOcIJAslfFnzx0tQVQ,6153
tests/test_delx_examples.py,sha256=InEM-89xKI-3Jswk4abvme7ppJ8bV67Kv6gd5Z55gAo,5110
tests/test_deolingo_translator.py,sha256=jaKk2O4vAHTKF2EDbRzmGmdYun4crc-Vji0ps2QF_IA,4616
tests/test_preliminary_examples.py,sha256=aZGLuMO08StoutT8TCMDmGnk-coxzEJcUd-TPjRnK2s,2590
tests/test_regression.py,sha256=P0MwRJ7-8iH6Ek9V8OzHbqWfvWe1EoLP_uUVUd3Q7mE,1727
deolingo-1.0.3.dist-info/METADATA,sha256=i08I2NDqnssblDOpXClDkjz1xYwEw4vfp2EdiwQwpIc,16099
deolingo-1.0.3.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
deolingo-1.0.3.dist-info/entry_points.txt,sha256=fChvCM05eSMQxoLeStS0gvxs6kN6su-V89Q1osrq-34,52
deolingo-1.0.3.dist-info/top_level.txt,sha256=QYu2EGKuxRn0i6F-fmXuJShpdZ_Q32upWFUPW2MBKGs,15
deolingo-1.0.3.dist-info/RECORD,,
