nnf

View on PyPIReverse Dependencies (3)

0.4.1 nnf-0.4.1-py3-none-any.whl

Wheel Details

Project: nnf
Version: 0.4.1
Filename: nnf-0.4.1-py3-none-any.whl
Download: [link]
Size: 598774
MD5: 6c72abb1179adc5fa73c51aa4d9f067c
SHA256: 96d0d5797b829941cbbb816304690849cbfefd5361b4d78b378a6bd989c66ba2
Uploaded: 2022-12-13 05:01:11 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: nnf
Version: 0.4.1
Summary: Manipulate NNF (Negation Normal Form) logical sentences
Author: Jan Verbeek, Christian Muise
Author-Email: jan.verbeek[at]posteo.nl, christian.muise[at]queensu.ca
Home-Page: https://github.com/QuMuLab/python-nnf
Project-Url: Documentation, https://python-nnf.readthedocs.io/
Project-Url: Source, https://github.com/QuMuLab/python-nnf
License: ISC
Keywords: logic nnf dimacs dsharp
Classifier: Intended Audience :: Science/Research
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: License :: OSI Approved :: ISC License (ISCL)
Requires-Python: >=3.4
Requires-Dist: typing; python_version < "3.5"
Requires-Dist: python-sat; extra == "pysat"
Provides-Extra: pysat
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 3052 characters]

WHEEL

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

RECORD

Path Digest Size
nnf/__init__.py sha256=S5gSG5KVqLGoLEdpDDkmdKINog4JwkcszWW_QSYNgY8 66279
nnf/__main__.py sha256=aitAZBUM-uC-2Zp6Vk7ahkQW73kbsDy6onpp8hPYnzQ 53
nnf/amc.py sha256=wYdhiHa5zsMJmSZWdQluPd8aQuUEPqEeuGPdlpYkDBI 7120
nnf/builders.py sha256=k10H8moo_fWz8X4f-yuKN-189hK68RJ9HVVDryPr1Wk 1671
nnf/cli.py sha256=G2zFW_fprC-NqDMHd5rJEY1LLjeNufsJfDS78Tckerg 6514
nnf/dimacs.py sha256=3SGqXin7mOHZHDXI0wvz7BV3kZOpfp9OuS6TG9ifJwQ 10370
nnf/dsharp.py sha256=9PnaAcH79xPi6iD5dXSKBAhE8Pl208eS7PuNLoo5gHA 4974
nnf/kissat.py sha256=iyrkOH6-rQKERO7ibO8ZReyswDCGxoBGQBtoUcfO9iE 2403
nnf/operators.py sha256=ejb2zAP-gnvSJxveN5n5r52-QIXeNGLSKfd7xrRKROA 1439
nnf/py.typed sha256=9ajknRx65FY2n-F8jSAL9LVMdE8CogAR_ERDfOGJ_5k 63
nnf/pysat.py sha256=VykG3V5OeMeaIaQizLSl2yLqa8bp2xIbV7_JSWLsteM 2961
nnf/tseitin.py sha256=SzsaapwMKlU7K4q6na85i5WIal9IRNBAAyAVxCNaw6k 2596
nnf/util.py sha256=JwVGT-aBVkLYjl7MYvciyqliXYrm5uRr2Aykgy6uKW0 4136
nnf/bin/LICENSE.kissat sha256=oSH6o5M0XtBgOC0MBUV1-eNsglCBPIldnyTBxRhr0_k 1102
nnf/bin/README.md sha256=ufyC9q-LQKca5iF1pspE4_wZRLvD6n_ZmT74EyspJNc 409
nnf/bin/kissat sha256=6X4VPy_BGUzrcD7vmeCgvJqyYwWADoWAgximY_HKo0M 1345464
nnf-0.4.1.dist-info/LICENSE sha256=vx7c3vv0q3YSmO8ijjc8QHdVYmRInUYo_vzF6mRzZ4c 746
nnf-0.4.1.dist-info/METADATA sha256=P5hvZLNPkHoY2xy_xJL_nRwjuBwS9Gm_B9dmyfuYfRE 4334
nnf-0.4.1.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
nnf-0.4.1.dist-info/entry_points.txt sha256=2ttG8k-zkzIoQaeb8_S3RI7Rtx4iyBaf87AUvpXkzJQ 39
nnf-0.4.1.dist-info/top_level.txt sha256=vYd1yizdI1Zve1Cx8LUMuGECwFLk4sWT8cXsyU4gfRI 4
nnf-0.4.1.dist-info/RECORD

top_level.txt

nnf

entry_points.txt

pynnf = nnf.cli:main