Wheelodex » Projects » deolingo

deolingo

View on PyPI — Reverse Dependencies (0)

1.0.0 deolingo-1.0.0-py3-none-any.whl

Wheel Details

Project: deolingo
Version: 1.0.0
Filename: deolingo-1.0.0-py3-none-any.whl
Download: [link]
Size: 71518
MD5: 08034c74c4e4c7cd8f375f70a7e20e1f
SHA256: 6ef1a86d9d3241dcd5cee6e8241e822cf8548429de09babc300603204c8cef2a
Uploaded: 2024-06-21 16:13:17 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: deolingo
Version: 1.0.0
Summary: A deontic logic solver for explainable deontic reasoning with Answer Set Programming (ASP).
Author: Ovidio M. Moar
Author-Email: ovidio.manteiga[at]udc.es
Home-Page: https://github.com/ovidiomanteiga/deolingo
License: MIT
Keywords: ASP,NMR,Deontic Logic,SDL,Deontic Reasoning,Clingo,Xclingo,Telingo
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Information Technology
Classifier: Intended Audience :: Legal Industry
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Topic :: Software Development :: Interpreters
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Utilities
Requires-Dist: clingo (>=5.7.1)
Requires-Dist: clingox (>=1.2.0)
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 13944 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (70.1.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
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=Cz7CLVJDd2kQs9fwFqi0NREZjDw6xfVUe2GM3I0X-ME 13990
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=605yx8orMkJSezm9hAztWIYx6XQEzqDnLjExQGze7Fk 23
deolingo/control.py sha256=LssOm2X8yTp1net7f2tjb64a9ZTvCszEjovUi0YCRVI 2802
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/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
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
deolingo-1.0.0.dist-info/LICENSE sha256=wtT6DqRnavyiwLRjCrEM-8IJ_r89kxBwjfjrES2EDx4 1077
deolingo-1.0.0.dist-info/METADATA sha256=SEsRBp7hZSqO2sRb2PDgPMCsACa9h9K5U4EjFCVTnx0 15473
deolingo-1.0.0.dist-info/WHEEL sha256=cpQTJ5IWu9CdaPViMhC9YzF8gZuS5-vlfoFihTBC86A 91
deolingo-1.0.0.dist-info/entry_points.txt sha256=fChvCM05eSMQxoLeStS0gvxs6kN6su-V89Q1osrq-34 52
deolingo-1.0.0.dist-info/top_level.txt sha256=QYu2EGKuxRn0i6F-fmXuJShpdZ_Q32upWFUPW2MBKGs 15
deolingo-1.0.0.dist-info/RECORD — —

top_level.txt

deolingo
tests

entry_points.txt

[console_scripts]
deolingo = deolingo.__main__:main