Wheelodex » Projects » demystify » demystify-0.0.17-py2-none-any.whl

demystify

View on PyPI — Reverse Dependencies (0)

0.0.17 demystify-0.0.17-py2-none-any.whl

Wheel Details

Project: demystify
Version: 0.0.17
Filename: demystify-0.0.17-py2-none-any.whl
Download: [link]
Size: 49734
MD5: 873806b883f341f6d5fe71d87264b065
SHA256: b9a4f173dbf50dcafe8d7b40e2c522653f25570fd4a91124265d591171558f69
Uploaded: 2021-07-23 11:47:09 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: demystify
Version: 0.0.17
Summary: Demystify is a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to automatically produce descriptions of steps in the puzzle solving.
Author: Chris Jefferson
Author-Email: caj21[at]st-andrews.ac.uk
Home-Page: https://github.com/stacs-cp/demystify
Classifier: License :: OSI Approved :: Mozilla Public License 2.0 (MPL 2.0)
Requires-Dist: python-sat
Requires-Dist: z3-solver
Requires-Dist: numpy
Requires-Dist: sortedcontainers
Description-Content-Type: text/markdown
[Description omitted; length: 1774 characters]

WHEEL

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

RECORD

Path Digest Size
explain.py sha256=KazGmr6HXL-YpM9q191yxi-YWmrEO3g3dwmvDZmra1w 12726
demystify/__init__.py sha256=-SvUUw8JqAqkazhXgczJYHGh6MBFhyKDgPsWS5Hp4Xo 117
demystify/__main__.py sha256=MfBoXRkD8DKEGelrKYCIapObk3O4e2JT1u2GUAGzEKU 3849
demystify/base.py sha256=CDMTbAd2OUS7kBmntz9U1FYnS1QrOo3eDkR6-av9Leo 10403
demystify/buildpuz.py sha256=7rfx3hhZqJw78SG0WX1nzBq-7sY3_Oc1_Z3GSnKBDQ8 8460
demystify/config.py sha256=4AgiCIhGml0Cgk4HBT66xCjEa5OHw-0Hdi_xhnTmEIE 3074
demystify/explain.py sha256=XukVMI4GNY38iFaYoiNDnUVAJIiFbaNdsuRz1WxD0uU 15605
demystify/internal.py sha256=oAnlmON9eX6ExeJcXbr2g1P7KDlJouMjmJlX88GtBKU 9725
demystify/mus.py sha256=NyScgC7KK3l-0Qbbecbmudc30c3llUCnrQw6o71cAUQ 22133
demystify/musdict.py sha256=YWIhDI_8PlLkyae5RqyIaaPfmQWt54rLBmNAzoakJ-I 2349
demystify/musforqes.py sha256=dDwo1LerXg0qJnnahHlZ1pldFgvheaAHwiZJnBlOfZM 4521
demystify/optux.py sha256=04kM-0a-56XnsfsqONR4ZCzsvehFwI2A4gYPmG7ggQE 20043
demystify/optuxext.py sha256=9o_gHfyKdRjVa1RgKBzzsjouopj92WNlncOf3LxBQgE 6884
demystify/parallel.py sha256=vem2Dai4547Evb9drkyWwmq4zWg21gN6z_T0PfnM_Bo 5840
demystify/parse.py sha256=rFtx6pPscDdgvuAFA9CjfDxqgPwjKnYNwJ3_y1hH7KI 10732
demystify/utils.py sha256=7GlHPh6yVoWcsQLJaws9GsQa3V7UjowM-biBVGyg3Kc 5493
demystify/solvers/pysatimpl.py sha256=jurddGvsoMqwxpnYBcc665AgVjMWblIBeszaC37IqGg 7283
demystify/solvers/z3impl.py sha256=SDUmjERUOo_QBi07rAZalokZeuxQSl-ZUahh9Tn9_LM 2412
demystify-0.0.17.dist-info/LICENSE.txt sha256=-rPda9qyJvHAhjCx3ZF-Efy07F4eAg4sFvg6ChOGPoU 16726
demystify-0.0.17.dist-info/METADATA sha256=JNyZ89ytMCDzhv4tR4i9tqVV_Yj3Jw-Dhl_RKfULsAU 2393
demystify-0.0.17.dist-info/WHEEL sha256=pqI-DBMA-Z6OTNov1nVxs7mwm6Yj2kHZGNp_6krVn1E 92
demystify-0.0.17.dist-info/top_level.txt sha256=oKEe8BNkzV5Zce8RIHtBtRj_PkHX2OekJundm7GZ1bk 10
demystify-0.0.17.dist-info/RECORD — —

top_level.txt

demystify