Tool for manipulating CNF formulas
Project description
SAT-toolkit
A tool for efficiently handling CNF and DNF formulas in Python
Installation
To install from pypi use:
pip install sat-toolkit
To simplify CNFs and convert DNFs to CNFs, you need to compile espresso and make it available on inside your $PATH.
Usage Example
The following example shows how to create a minified CNF for a boolean function that is true at values 0, 6, 9, and 15.
from sat_toolkit.formula import CNF, Truthtable
import numpy as np
table = np.zeros(16, int)
table[[0, 6, 9, 15]] = 1
tt = Truthtable.from_lut(table)
cnf = tt.to_cnf()
print(cnf)
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
sat-toolkit-0.4.2.tar.gz
(364.8 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.2-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d864a71b6b04e27071134a9e215a6735159ceb34ae8d412786347e5181d35494 |
|
MD5 | 2fb59c73f838734aa98cf024682616cc |
|
BLAKE2b-256 | c400b5c6ee24c2e082ee12e13c372a612891d0a74b33739ef4e78d6462e1599c |
Close
Hashes for sat_toolkit-0.4.2-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a6a7268965dcedf4df3aa8415742092ce8a74a99363c7508af602cba459d4685 |
|
MD5 | d0559fcf72aa09e706b5bba84860d071 |
|
BLAKE2b-256 | 78cbaa3d1bcae4163b356d8a0acafed8d01432e1d53dec4da45ffc54d0b2762d |
Close
Hashes for sat_toolkit-0.4.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aeb1d0e28b1aaa3f2fca7713fd50d016c023f7a0356bbf56954428af214873e0 |
|
MD5 | 9d2a0ac35f8bf7ae6a8f2341d55996e6 |
|
BLAKE2b-256 | 4c06170ed90e4311504685320e2b39f1522b5d836c7def47988b47174fb0afe0 |
Close
Hashes for sat_toolkit-0.4.2-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 57ad00177bb52913df39ec1f4efed38d857cd68cbd1976d8b01382e8759e8a66 |
|
MD5 | d1f21577cfdbd405072c5b32b6531aaf |
|
BLAKE2b-256 | 384c8f19609990d8382880b53540033c3673f91225c26b6186cc6120c3618b9e |
Close
Hashes for sat_toolkit-0.4.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 387229c67bf144fb61fbc3b94c07741491a4af4b24744dd54a637bf4329e50e4 |
|
MD5 | 26a7667baea7f965515f506ee090af95 |
|
BLAKE2b-256 | a7abc7e0d3a62790174d870d3af56f39aa0a333b43d3d5372f11bdb3c65af01a |
Close
Hashes for sat_toolkit-0.4.2-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2734c47a8c2293c7a0617c2089d17eb0eaef5ba6cad68fcb83b7318614f9cc80 |
|
MD5 | 93fe5d86fd0adac75ca692ee1e88df45 |
|
BLAKE2b-256 | 6c48b0bf5a08af0a6581957a65cac424b764adb1f2807bf8570b031c04787161 |
Close
Hashes for sat_toolkit-0.4.2-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 95adb3c7846d3307228cc0cffbac6d97fc649d5d0f52985e7d6ac7819c0b5ffd |
|
MD5 | 022a284dbce440a0ea70be3fedfc8459 |
|
BLAKE2b-256 | 6fe4e3cc6474bde5259ba294bcb446dff639178c850ac4c91221395e86f41e1f |
Close
Hashes for sat_toolkit-0.4.2-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a06c2b2bfa331b660f3a0a2f6a7e5f6836a6f946943311e5a752fb23dc5ab5ba |
|
MD5 | c8df9393150642e01c43e71d135c6204 |
|
BLAKE2b-256 | 3410990c4ce3f5fa0bea3052d08a58d7e6fb264eb1d40c0555bba32e037a6d1f |
Close
Hashes for sat_toolkit-0.4.2-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8ea2df7ce220650c6eefe76ecd16c8359ac2d43e174429f8827df279d6301ff6 |
|
MD5 | 483f5723d6a172ae3c1ff27828ab1b2b |
|
BLAKE2b-256 | f4715e272761129515ece23691643ba1c65f68cdfefef95df6f983031ac46713 |
Close
Hashes for sat_toolkit-0.4.2-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d7e01d89d5b14c4d4887b8c968be3ede59938a0ab76b43e7011c188494619e34 |
|
MD5 | 1e6a1423f9b7ae3e6a25d43264538445 |
|
BLAKE2b-256 | 07b020c86d0e04e19f99aa1df1202a54f430712f7427775ab0ccb5a1cd53ce33 |
Close
Hashes for sat_toolkit-0.4.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f42fc347d39d9c344195c6a1b2ad78efe0f2c44fccccd8f1b0309f12080c4699 |
|
MD5 | 65d1eda81f91bda1738bec05ff497552 |
|
BLAKE2b-256 | 89518f4973db64fef1c4413f57539eb17c83fa553bf86dec5080469328369bd3 |
Close
Hashes for sat_toolkit-0.4.2-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e039b9f89dc910b77b9044d2788bb0585dd5341610a1fbf25903373d3c63f967 |
|
MD5 | 907c2c7560d9b74c089dd87fd264476e |
|
BLAKE2b-256 | d929cf93c570248403a1ad3657957d252e825219cc2fa41acebf26fdde45b7ee |
Close
Hashes for sat_toolkit-0.4.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b2ac2075747e5e61ce35a8c8623ae7cde3f5d8703fd6b328fc614c223ab344d6 |
|
MD5 | 850a31184b8db83bd1e1e314aa7c9fb0 |
|
BLAKE2b-256 | a7a58b058fa8dd5e710d37fa41c0916cfd02516b40d28a4a90cae484408efc7a |
Close
Hashes for sat_toolkit-0.4.2-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c9a1c770b9ab2e27c4270a8ca65cc0ec839d0f5e6d16936c9af35fa8d734aaba |
|
MD5 | fd2c445edf6553510d4202d931a9633a |
|
BLAKE2b-256 | 195c88d83ca6b68855b0154cbb05e2bf9f84fcf526a4da081dc1dd71ed1cd285 |
Close
Hashes for sat_toolkit-0.4.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f899016535ae9f52083e8ff03db13444b6c0bfccb121c0bdee4f7ad0eaeba80c |
|
MD5 | 09e82d511b14a45934e42cdd3368d4b5 |
|
BLAKE2b-256 | 53aa62a6f37b1df3228508687a77f988e1aa8292b7c088ea861f35ddc8bc8fc2 |
Close
Hashes for sat_toolkit-0.4.2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aa156883be7ad4246d0c256755df2b58c2f16b96fedc50a5ec35a6477e27ee47 |
|
MD5 | 6346c1a6dd080c57a659ff5fd76282c9 |
|
BLAKE2b-256 | 98d463ba10d2ee6abc4d2f92c1cb2ea7c7d2105f6284b2a1b39878ee37702c35 |
Close
Hashes for sat_toolkit-0.4.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4e4a7e85d4b9dfacd93fb482fdd497e61a39c3af557659f0ae3153e1518394a4 |
|
MD5 | 52d44575ae15351f05d9f0d2e6efd42d |
|
BLAKE2b-256 | 65f3f5dcaffd6ffe33a64c802167b1358cf80387c24ca4888903021acdbb4444 |
Close
Hashes for sat_toolkit-0.4.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a0df0ff2a4b62c549d88dc2dba3d8f7ff1e421e7cb3ca110040c3ee8171da7f7 |
|
MD5 | d19a09e8de5073fad85f649f4f95eed1 |
|
BLAKE2b-256 | a2d4a6f7c2a00923bc880dfba0072ea772d9c5abdb3c28d62b27e9ed1c51356f |