eznf

View on PyPIReverse Dependencies (0)

0.62.2 eznf-0.62.2-py3-none-any.whl

Wheel Details

Project: eznf
Version: 0.62.2
Filename: eznf-0.62.2-py3-none-any.whl
Download: [link]
Size: 16131
MD5: c4ae20ba779a73d7b95c3aa0dce60160
SHA256: 50a9aa316d5f97a4262222e6a9a0ab5df74ac0181de023cab3ee8c8ddc5e2c69
Uploaded: 2024-04-27 02:35:41 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: eznf
Version: 0.62.2
Summary: A prototype library to prototype SAT encodings
Author: Bernardo Subercaseaux
Author-Email: Bernardo Subercaseaux <bernardosubercaseaux[at]gmail.com>
Project-Url: Homepage, https://github.com/bsubercaseaux/eznf
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.6
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 481 characters]

WHEEL

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

RECORD

Path Digest Size
eznf/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
eznf/brooks.py sha256=OMS0glQBeAFG6nvcak5rj4TozbD9UMNmPhWssclob8s 1464
eznf/cardinality.py sha256=-0WhDB2_7DLPXkoKXb2-KiEgTeE8M_rplNyW8VpmwD0 7440
eznf/constants.py sha256=4RmAjQg5lgCG1k828onq1CcxrTqmM4_jR6GNVCT67ko 63
eznf/eznf_parser.py sha256=zIv3UQkZia4bE-Xx9mmOaFJ-4545mCa32oS3Jjvp3lo 6811
eznf/modeler.py sha256=qeI-BLpQli0XiJJ5NL6HFYl88RYM_XFE7JE0usCFD9A 23691
eznf/order_interval.py sha256=Gd_nXhF34TOfLPQej_Ayy5KRXOI7OkTwxE8tZjmA_Go 5102
eznf/sem_cnf.py sha256=0jrGnV0356UJiCVnTcV2dIO5ZYME7H3ycP-OSE8sCxQ 1745
eznf/universal_existential_form.py sha256=aYppRHLfkOb4fR-gsTCp-hQzk3pPjbp9xRux4VwYEE8 998
eznf/utils.py sha256=EZbzqbOk98YuxZArgu16dgQnJklNFd72j4UWfxSBf5Q 1994
eznf/xor.py sha256=siZRh38D0OI-BnC33O6pgky3lesTl9FszqILzqRHrdI 2293
eznf-0.62.2.dist-info/LICENSE sha256=7EI8xVBu6h_7_JlVw-yPhhOZlpY9hP8wal7kHtqKT_E 1074
eznf-0.62.2.dist-info/METADATA sha256=WMuuUJf-cVj3qyjbUNDeZeD5_XDZoBfGKym-zifjb7k 978
eznf-0.62.2.dist-info/WHEEL sha256=GJ7t_kWBFywbagK5eo9IoUwLW6oyOeTKmQ-9iHFVNxQ 92
eznf-0.62.2.dist-info/top_level.txt sha256=e4DDKnXgmk3fLeLMlr0S5nUj-V-T4wJxuoSkBuHdZRY 5
eznf-0.62.2.dist-info/RECORD

top_level.txt

eznf