Wheelodex » Projects » idp-solver

idp-solver

View on PyPI — Reverse Dependencies (0)

0.7.3 idp_solver-0.7.3-py3-none-any.whl

Wheel Details

Project: idp-solver
Version: 0.7.3
Filename: idp_solver-0.7.3-py3-none-any.whl
Download: [link]
Size: 60690
MD5: e940d8a624293c8dcbb9fcf7966fe7fd
SHA256: 616535c44cd6f940a617fcbeb8a86337d315d479dbdef82c961b4a0dcb92ae30
Uploaded: 2021-03-04 09:53:42 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: idp-solver
Version: 0.7.3
Summary: IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
Author: pierre.carbonnelle
Author-Email: pierre.carbonnelle[at]cs.kuleuven.be
Home-Page: https://www.idp-z3.be
Project-Url: Documentation, https://docs.idp-z3.be
Project-Url: Repository, https://gitlab.com/krr/IDP-Z3
License: GNU LGPL 3
Classifier: License :: Other/Proprietary License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.7,<4.0
Requires-Dist: Click (<8.0,>=7.0)
Requires-Dist: pretty-errors (<2.0.0,>=1.2.19)
Requires-Dist: sphinxcontrib-mermaid (==0.6.3)
Requires-Dist: textX (<3.0.0,>=2.1.0)
Requires-Dist: z3-solver (==4.8.8.0)
Description-Content-Type: text/markdown
[Description omitted; length: 100 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry 1.0.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
idp_solver/Assignments.py sha256=m8f1dDo74HY2MDTev_Uo3oZKL7000ef6A8s4HGdxKKQ 7423
idp_solver/Expression.py sha256=56jViCj9-bQPB5u7Ov86Uyzx4yPjZ8VxO00xkcbizoI 32592
idp_solver/IDP_Z3.py sha256=brpndYMGHr_EW_fpPddeoEKpg3ck6AneX5nEhAmWsWk 1360
idp_solver/Idp.tx sha256=hun0N2ubhMAXE_jgAdtOuLuR-ORd0kn8wx8b99p_CqI 5563
idp_solver/Idp_to_Z3.py sha256=DjfLIstLkMGStLvEaS4e1cVMZalGejh2j6JHuJsaIy8 11234
idp_solver/Parse.py sha256=iMPgKKB1EqFNPnZqaXU750qhCYxHZ83ahcgc3_5FBhU 45080
idp_solver/Problem.py sha256=jKIHc5uHPPpq2O2Nkz20AxlRF7JBeTYiA_1vTJn6MxQ 26071
idp_solver/Propagate.py sha256=N1xqjMURiQDv_yY2VWdWUOb12iT3I6BlCEBhFb8bvfQ 5132
idp_solver/Run.py sha256=41s1vRFzvPpZYrAqov4loTUqst5d0Tq-qzDga6KGVtg 4406
idp_solver/Simplify.py sha256=0Iv5SGczsPC8TGOn9Bxt-SVrXftkL-yucJ6lie4nwKU 14609
idp_solver/Substitute.py sha256=ZMWXc4Vxi6F9xg3cFGeTKVfYTjziZWw4IHYzXKUSBfQ 12386
idp_solver/__init__.py sha256=gydVOcbot500dbGPxYJmvSlAAY_r6HRl1v1tq_b09ZI 187
idp_solver/utils.py sha256=cCJWQLyqIE0-WvhxSwGDME8u9ZHrlry0oySsDBV4mF8 4091
idp_solver-0.7.3.dist-info/entry_points.txt sha256=6sOdxyejNvkt0yDMJw4IwEh1Hzc-t6_AgH4FOk9Vsks 52
idp_solver-0.7.3.dist-info/LICENSE.md sha256=bjeh9SyFirra_tVYXIoYPtXymRBoFpIoMaet7KFOGtU 40127
idp_solver-0.7.3.dist-info/WHEEL sha256=SrtnPGVTMeYWttls9xnWA01eUhCZ3ufFdJUYb1J3r-U 83
idp_solver-0.7.3.dist-info/METADATA sha256=jUY6OheTw_0wWhPBL1SNURmxvXP_f-Al5Anb3Io81BY 1047
idp_solver-0.7.3.dist-info/RECORD — —

entry_points.txt

[console_scripts]
idp-solver = idp_solver.IDP_Z3:cli