clingexplaid

View on PyPIReverse Dependencies (1)

1.0.10 clingexplaid-1.0.10-py3-none-any.whl

Wheel Details

Project: clingexplaid
Version: 1.0.10
Filename: clingexplaid-1.0.10-py3-none-any.whl
Download: [link]
Size: 29214
MD5: f1aff24f5c380b3d8f4e6847966a63ae
SHA256: 55be436e8cda8b0146af5557ab77e3a5a2b749a75123adbc133a37fea89a14ee
Uploaded: 2024-05-03 12:57:35 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: clingexplaid
Version: 1.0.10
Summary: Tools to aid the development of explanation systems using clingo
Author-Email: Hannes Weichelt <hweichelt[at]uni-potsdam.de>, Susana Hahn <susuhahnml[at]yahoo.com.mx>
Maintainer-Email: Hannes Weichelt <hweichelt[at]uni-potsdam.de>
Project-Url: Homepage, https://github.com/potassco/clingo-explaid
Project-Url: Source, https://github.com/potassco/clingo-explaid
Project-Url: Issues, https://github.com/potassco/clingo-explaid/issues
License: MIT License Copyright (c) 2024 Hannes Weichelt Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Classifier: Development Status :: 4 - Beta
Classifier: Environment :: Console
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3 :: Only
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: Operating System :: OS Independent
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Typing :: Typed
Requires-Python: >=3.9
Requires-Dist: clingo (>=5.7.1)
Requires-Dist: autoflake
Requires-Dist: clingexplaid[lint_pylint,test,typecheck]; extra == "dev"
Requires-Dist: sphinx; extra == "doc"
Requires-Dist: furo; extra == "doc"
Requires-Dist: nbsphinx; extra == "doc"
Requires-Dist: sphinx-copybutton; extra == "doc"
Requires-Dist: myst-parser; extra == "doc"
Requires-Dist: black; extra == "format"
Requires-Dist: isort; extra == "format"
Requires-Dist: autoflake; extra == "format"
Requires-Dist: pylint; extra == "lint-pylint"
Requires-Dist: coverage[toml]; extra == "test"
Requires-Dist: types-setuptools; extra == "typecheck"
Requires-Dist: mypy; extra == "typecheck"
Provides-Extra: dev
Provides-Extra: doc
Provides-Extra: format
Provides-Extra: lint_pylint
Provides-Extra: test
Provides-Extra: typecheck
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 2039 characters]

WHEEL

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

RECORD

Path Digest Size
clingexplaid/__init__.py sha256=lBAo4KAkhA-j32J8H1utCIRPwVSDWbbfj4yM_9IbedM 34
clingexplaid/__main__.py sha256=phe9PjB0GW96VJhRBOrGIubJWxFLqynNRgn_XpExLc0 329
clingexplaid/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
clingexplaid/cli/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
clingexplaid/cli/clingo_app.py sha256=ORWRt9uDevgiAEG-vgFg4vhUVt9Jwmtqass9d571lYE 14111
clingexplaid/muc/__init__.py sha256=BY3vrz83C0VjAb_VrpJzfcpeLWRvgrOvllp6N-S0n4k 121
clingexplaid/muc/core_computer.py sha256=f4R8tiMfOfYUJxmam3d-Bc4qE_Myv3tjqHaXpWk-G_8 6377
clingexplaid/propagators/__init__.py sha256=1wAkEQs8Dy-nfhQAjcLGICTah0Xo3ybT5Fkjjl15ABc 258
clingexplaid/propagators/constants.py sha256=cjrqfISiX42ailz3a_hq82wUqbdpJMYAsnAAGivUVTY 276
clingexplaid/propagators/propagator_decision_order.py sha256=ToIA1Z2Tpn01duEhmhmf1YhrKQLwkhTP5xK4QilpK2Q 7175
clingexplaid/transformers/__init__.py sha256=1PvYGoXZdf7wTmzGgJWvjs6WauJZqlbG4CrJ7xm-VvI 537
clingexplaid/transformers/constants.py sha256=aLXW_p7S5THxj8HwqP-0l81U2yku30yg6nhGYrSVGD8 117
clingexplaid/transformers/exceptions.py sha256=CCSTH6TCtPr1-UgOQPWoobRygbv0dB_MPQweG-cBRiM 441
clingexplaid/transformers/transformer_assumption.py sha256=t9DXSmmlJF--KlKizRFqmt2UyF-kaZGPX-dUxZ_CLSo 4775
clingexplaid/transformers/transformer_constraint.py sha256=HRJBxk9210b7THregcMJbDAaWjDl7OFOLqXH4fss5wA 2481
clingexplaid/transformers/transformer_fact.py sha256=Dc1FM8-LkKK_AMrrjx1wbYpZjVgYsR1sctZR2sptR7Q 2668
clingexplaid/transformers/transformer_optimization_remover.py sha256=l1B9nWAmvDowGl1gous9-1VSsyZMyvAragYRTMkh6TI 1949
clingexplaid/transformers/transformer_rule_id.py sha256=7D3ygBjbSjLxnTG5HZiWYOG0UaguSyGS6QIkfc-H7z4 3154
clingexplaid/transformers/transformer_rule_splitter.py sha256=NeA_U5PR8GRxNQcCRQO-UFPuGJyxJ6HsxVXIQycH4UI 3743
clingexplaid/unsat_constraints/__init__.py sha256=zPYs2BpWUmgGuFr7QoZ1LMnbFcMeboeDEMhtFFSqtrg 154
clingexplaid/unsat_constraints/constants.py sha256=fB-NSiSTSesH_kRyT3UxGK6EFDyFO18LWsCfBgHDR_g 105
clingexplaid/unsat_constraints/unsat_constraint_computer.py sha256=fdk8U_-f8aeqM805G6jTuUJG7We7fxqKKyZDbJPJ1RM 5080
clingexplaid/utils/__init__.py sha256=ys7auRm-bVK5YU-hAu_mRwSVWjgI5yWbHtX2oeoRDVg 2985
clingexplaid/utils/logging.py sha256=xXR1rufHIoGBbO-mw5Uh93EuXkyAlFtNMcflgI7HCWU 2276
clingexplaid/utils/parser.py sha256=M_RqgYd8dp74yVaeoHV55NFHx3AsHkE9Gn-Xaca2NRI 1433
clingexplaid/utils/types.py sha256=X0CU-RlJ8VGSjTjyotArT4EncnUmSyD7dV-54REc8Bk 266
clingexplaid-1.0.10.dist-info/LICENSE sha256=F0-QlB6VMDwU0i7JNUpMH_cvmg7LbOZGdpWCh9VDomg 1072
clingexplaid-1.0.10.dist-info/METADATA sha256=GTwSwgk7s1Gb05CoOJ6Az7oDksDBj_PiLRxEZpjVwKI 5289
clingexplaid-1.0.10.dist-info/WHEEL sha256=GJ7t_kWBFywbagK5eo9IoUwLW6oyOeTKmQ-9iHFVNxQ 92
clingexplaid-1.0.10.dist-info/entry_points.txt sha256=C7lE03pWjitxIyT81-Zzir6oxJILiyk6Fyyx58xGyM0 60
clingexplaid-1.0.10.dist-info/top_level.txt sha256=UAg7ATjCnR80mb6ImBnxCnCHwXURHS1W1FTWRZEtzC0 13
clingexplaid-1.0.10.dist-info/RECORD

top_level.txt

clingexplaid

entry_points.txt

clingexplaid = clingexplaid.__main__:main