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.3.3.tar.gz
(349.0 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.3.3-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5b4ffb58f00518dc5c50af4e0efa17b05cd1e0d0781493fa186c86c959808bee |
|
MD5 | 446e859319fbe74497e03e3a53ffa2db |
|
BLAKE2b-256 | 653269b0676d18ccc0fa42d00a401b45f169db47dffcae6b1ba40d3bff23ee4a |
Close
Hashes for sat_toolkit-0.3.3-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b94b4b667a34e284aed80ccc072d2332d81df99baa43a09c9e375c7080bfa339 |
|
MD5 | 8497fc8b092a2d73bc6160a705201546 |
|
BLAKE2b-256 | 254194439977c6c398a229662c2ba8a803c6384e33ecb2cba3fb66e5922e5ee8 |
Close
Hashes for sat_toolkit-0.3.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4aa2e33877a115de04112ba098004727416bf4270facbb291727d26f39e5c069 |
|
MD5 | bf0e23907b77d96908a4e04825d1aad6 |
|
BLAKE2b-256 | 57cb4975e246325dcf387266acc9550c9b62bdbe1c38afbcf9fc7fda217ff6f7 |
Close
Hashes for sat_toolkit-0.3.3-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8d25cda296c3c509db67549a59059a0a9417a24ea3a790c420683c74619995f6 |
|
MD5 | f009d21e4b4bb8aa500b9d81b0947039 |
|
BLAKE2b-256 | a1a4a3ad8b8ff5b50b0a4ebfc3a0f85e44124aa7ef8dee581b1c956a9d5bf9ef |
Close
Hashes for sat_toolkit-0.3.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1b5113e008e51cd526898a76de4aeab3d3005762d5b379b9e3a095b580ab112f |
|
MD5 | 34568024f37d67942689c56da6522450 |
|
BLAKE2b-256 | 1af807c817e94f2fb8b03e8eaaf24287bac4f452e71f9a3d3e592243a1599e70 |
Close
Hashes for sat_toolkit-0.3.3-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 20e57960375c8cb30ffbb0c363aaf4fa52e3abde11b6247f78c9948c5ec3083c |
|
MD5 | 3eafd1af339bffe584c695b4821a5b5a |
|
BLAKE2b-256 | aafa261a3119f3526f997337a66b3c89d05d4a88036ebc1e3003e69c3ca2c305 |
Close
Hashes for sat_toolkit-0.3.3-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 803fc649a582838dd26463a8192f83142cbda553ad9e785a32bc774131cec52a |
|
MD5 | 42736ff965ad10b2639ebf9825bee09b |
|
BLAKE2b-256 | 1ecdc9e0f0e540a2407f1bd42d923ba351eec3b85c72812574187bcf47828335 |
Close
Hashes for sat_toolkit-0.3.3-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4fde4e1f01cac6dc0fb1eaf1a9924313e3b84c55e7343ca2c3e87ba08c665c7f |
|
MD5 | 387578119087e4efa09194bbd960f1e1 |
|
BLAKE2b-256 | 8c8c1aadbb51484b334a25561277878d61f694bfe6d561556ba18ee6ae230ea8 |
Close
Hashes for sat_toolkit-0.3.3-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 112a1521ffc72973505f635f3c051b50747d9918a84f3a6e89757237e88a394b |
|
MD5 | 0b0d6f1a595ec24fc0eac7cb6e0e161c |
|
BLAKE2b-256 | 297eefc59c0dd33f237d013c7ef384c0899d68da1ea1312bfdc81fbb4a22b66a |
Close
Hashes for sat_toolkit-0.3.3-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c0e62f2b680cc05ffd04fa6bedc9dd0041c4bb80895d02bdb2d8577d0bf3981b |
|
MD5 | 32306d46ac53cc6f2d309aa1b2d2ed38 |
|
BLAKE2b-256 | e8554b6cf1a9ed1b9aa92c612b53b1b69f7aca335c95737297280ac7766aee02 |
Close
Hashes for sat_toolkit-0.3.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e35ca2aaca02d70ab121b39b785e426d9295822dbeba51639088a9849f43cfa1 |
|
MD5 | 8c89c70ee78059a846ec18114720d2d0 |
|
BLAKE2b-256 | 4060ae8a7bd3bc3e78d51e5f006e2fb856e88565ca916b99ff9a4275769ff313 |
Close
Hashes for sat_toolkit-0.3.3-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9b19e2f8e5aaf4fcd15b503b64a774c15841c0d2c0cbad3d3d87ab9e3514f426 |
|
MD5 | f0b829539784d21d87deefce0e4767fb |
|
BLAKE2b-256 | a87f973215afac4b0a8ef49b509f98186f489383d05eb5ea68c9a187552a4bbd |
Close
Hashes for sat_toolkit-0.3.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 54831a77b2b43a658ea0fd883d89f43081a3577b084f9eb7c46be0b893cde172 |
|
MD5 | 83431ca894e249434e92222f23e3bd45 |
|
BLAKE2b-256 | ddd77dbb3d09cbfc447d48946a47e9ab7cf77f0fa382d1c6667c1946bd379a17 |
Close
Hashes for sat_toolkit-0.3.3-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4961979c54134ba9209b9c29784540322c322e9aa71cf5419d9bad1e143fa6c2 |
|
MD5 | 2c991fdfa2e8e9622ec248bd3e7aefaa |
|
BLAKE2b-256 | 7de7bd26c1c0a0a15b5c905f8c3dc56f6d7ea3b6e832c0cb2b0fd473bb9f3a47 |
Close
Hashes for sat_toolkit-0.3.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a096a653df2d3e86c469e1d66dcf3333902a2e3e0f9abc77c5a66f47b5786d2e |
|
MD5 | cff9c1f083486667104bea45d6447a0b |
|
BLAKE2b-256 | 62891a6a297b5ad4f936d1c4bce448e5c319de9338436cea79708d04e1ae0e77 |
Close
Hashes for sat_toolkit-0.3.3-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ae33315dc8f33a18b73ffe04226a751eccbe9613be073403368560c7709e09b9 |
|
MD5 | 5df234d60978863857e0dcd6bbba3fcb |
|
BLAKE2b-256 | 240f3cd6c7abe071cac7c0d8ed07a5bab053c14450dd5b16632247dadad62c0e |
Close
Hashes for sat_toolkit-0.3.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | de007753ae91ee7328853c9d69fd7e05dacab0a68c27c76e584bdc52e7006929 |
|
MD5 | cae46e1f37aafb9c8ff99c8d164ee614 |
|
BLAKE2b-256 | 89e0fa8b750e80d9880d5abaa220c66e9349cf1a8ff080c49e5603cd020812c5 |
Close
Hashes for sat_toolkit-0.3.3-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2ff2b065e3fe4f51412639560ed2c3e2050a85bcf6216b429bef0fdeae8c44aa |
|
MD5 | 29e7c0433582bea1eb9b0646540a68c7 |
|
BLAKE2b-256 | a304c0914b4a205f5b173a12661386dac75730abbae888791db5572b84023fd7 |