Wheelodex » Projects » normal-form » normal_form-0.1.7-py3-none-any.whl

normal-form

View on PyPI — Reverse Dependencies (0)

0.1.7 normal_form-0.1.7-py3-none-any.whl

Wheel Details

Project: normal-form
Version: 0.1.7
Filename: normal_form-0.1.7-py3-none-any.whl
Download: [link]
Size: 33501
MD5: 2fc5cce0794bd8436aa5058de74032a7
SHA256: 74268d71c3bec795c9cf1a124bd5def4d7e0231900f796e54a0549fa65357bad
Uploaded: 2022-09-25 21:10:57 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: normal-form
Version: 0.1.7
Summary: A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability
Author: Vaibhav Karve
Author-Email: vkarve[at]protonmail.com
Home-Page: https://vaibhavkarve.github.io/normal-form/
Project-Url: Documentation, https://vaibhavkarve.github.io/normal-form/
Project-Url: Repository, https://github.com/vaibhavkarve/normal-form
License: GPL-3.0-or-later
Keywords: cnf,typed,logic,python3,sat-solver,sat,clause
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+)
Classifier: Natural Language :: English
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.10
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Typing :: Typed
Requires-Python: >=3.10,<4.0
Requires-Dist: colorama (<0.5.0,>=0.4.5)
Requires-Dist: loguru (<0.7.0,>=0.6.0)
Requires-Dist: more-itertools (<9.0.0,>=8.14.0)
Requires-Dist: python-sat[aiger,pblib] (<0.2.0,>=0.1.7-dev.15)
Requires-Dist: tqdm (<5.0.0,>=4.64.0)
Requires-Dist: typing-extensions (<5.0.0,>=4.3.0)
Description-Content-Type: text/markdown
[Description omitted; length: 4498 characters]

WHEEL

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

RECORD

Path Digest Size
normal_form/__init__.py sha256=9QKzcFNRh78t7N17yID4ZKQ19zvBVdzt9ylWhRjH5XI 114
normal_form/cnf.py sha256=rccHwQPFf1h0EdjONTFsVLWaU0lFgivXzDR4WTq7g6U 14241
normal_form/cnf_simplify.py sha256=ROFso0SVacEtNJ-RPNAjXDvGNUDUattDW1KWsJbhXpY 3689
normal_form/prop.py sha256=Qp9pfK-rqQ1YsGL3mqM6xbv2JhhPdgSu5NOjPlLMVpA 3823
normal_form/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
normal_form/sat.py sha256=PfoQGdDzXP8lfzTqvW7v8PEvbUajmQqRWom9akH0obk 8147
normal_form/sxpr.py sha256=-og3wc3-tpSZejWc03UYpzAZAuK_DbVX_tk-9mkWKi4 2765
normal_form/tests/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
normal_form/tests/test_cnf.py sha256=mifaQ5dLjbt_1h2KSx5C9fdfbaF7DZm8orUgCGVqbik 14111
normal_form/tests/test_cnf_simplify.py sha256=PX89aQaSBOq7-rSv7PoVg65foEiKPLGZvpLBC1uAHXc 1509
normal_form/tests/test_normal_form.py sha256=17FD6yxDI5WMa_40WK7VxdSfcecvpRMz9hkSDKqW1RI 123
normal_form/tests/test_prop.py sha256=BD136Az7fH96vBSj5jgSo0B7t4-B_xMsPDR2Xv8EJOw 11541
normal_form/tests/test_sat.py sha256=0-2b8dAygh61oO52Z78IBkgGN_KBUmnlN5kiTJW0GIc 3168
normal_form/tests/test_sxpr.py sha256=Pco07joDwHV_uzGSWZvGvpjNaNmsQdo7stDedTg1MXY 1305
normal_form-0.1.7.dist-info/LICENSE sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY 35149
normal_form-0.1.7.dist-info/WHEEL sha256=gSF7fibx4crkLz_A-IKR6kcuq0jJ64KNCkG8_bcaEao 88
normal_form-0.1.7.dist-info/METADATA sha256=Bphc9YDdCsp8JByIM6-JfiWXbY_AuC7k0VU4jyFNwPg 5875
normal_form-0.1.7.dist-info/RECORD — —