Wheelodex » Projects » clingexplaid » clingexplaid-1.1.0-py3-none-any.whl

clingexplaid

View on PyPI — Reverse Dependencies (2)

1.1.0 clingexplaid-1.1.0-py3-none-any.whl

Wheel Details

Project: clingexplaid
Version: 1.1.0
Filename: clingexplaid-1.1.0-py3-none-any.whl
Download: [link]
Size: 24562
MD5: 8e81ce0daf8aa20979353e31ad3c1667
SHA256: 73bc677f40e67d307c2ec27da10874b901aa00a269398704595ba2ea11986620
Uploaded: 2024-10-07 12:38:58 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: clingexplaid
Version: 1.1.0
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: 1511 characters]

WHEEL

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

RECORD

Path Digest Size
clingexplaid/__init__.py sha256=lBAo4KAkhA-j32J8H1utCIRPwVSDWbbfj4yM_9IbedM 34
clingexplaid/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
clingexplaid/mus/__init__.py sha256=BY3vrz83C0VjAb_VrpJzfcpeLWRvgrOvllp6N-S0n4k 121
clingexplaid/mus/core_computer.py sha256=kNEovHpNGlC9ZBhQ6o5Uenbxiys4x2mQ32fLzOCI1O8 6473
clingexplaid/propagators/__init__.py sha256=Nv28Ywx6CbS4h9uCnPz59aaCbOUQZ5wfSZ9Tu8hP8Nc 262
clingexplaid/propagators/constants.py sha256=cjrqfISiX42ailz3a_hq82wUqbdpJMYAsnAAGivUVTY 276
clingexplaid/propagators/propagator_solver_decisions.py sha256=L_CEMh25OPHx3E9rI_HZsCY-qSLmGAT3zgaLhNscgeY 6736
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=HF1MwWZ7WPrkCieT4Vg8aQtXjOX-W10JuosAoZ6F5gE 5246
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=XVdlvAyRm2Y_PoukQ1JZq5YI_cidciPJLygC3ojmGfU 5088
clingexplaid/utils/__init__.py sha256=4ripi4dNSlKi01gEYoGssCeb19NdPPygwltIN3h4bac 3399
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.1.0.dist-info/LICENSE sha256=F0-QlB6VMDwU0i7JNUpMH_cvmg7LbOZGdpWCh9VDomg 1072
clingexplaid-1.1.0.dist-info/METADATA sha256=OXbL1SSAJ8SKXuk_0_vyI34Rcqs0fF3DbxLGq69htfo 4760
clingexplaid-1.1.0.dist-info/WHEEL sha256=GV9aMThwP_4oNCtvEC2ec3qUYutgWeAzklro_0m4WJQ 91
clingexplaid-1.1.0.dist-info/top_level.txt sha256=UAg7ATjCnR80mb6ImBnxCnCHwXURHS1W1FTWRZEtzC0 13
clingexplaid-1.1.0.dist-info/RECORD — —

top_level.txt

clingexplaid