nnf
View on PyPI — Reverse 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 · WHEEL · RECORD · top_level.txt · entry_points.txt
METADATA
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