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.5.0.tar.gz
(373.5 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.5.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fbddbd0a93dfd9dd8364d084cc744e9958a3f61c6f6d32d913ce621a046a7c14 |
|
MD5 | 17706802a0b65bbae73c5f3ab347ca8a |
|
BLAKE2b-256 | c7118509d01b71b77a9fc0b5cff007cae61ee69e47e443f49090df8d7fa6ab78 |
Close
Hashes for sat_toolkit-0.5.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6b6e16db017fdd2f5938ff65e3e9302b2b1cdc3e65223d68d0e85807efa51b87 |
|
MD5 | 16514682aa00bc3dfe8a030a09140135 |
|
BLAKE2b-256 | 11bfe2b1f77b46ccbc6097e11626e0f09c01a67b969b0f50b573f22249fc7e16 |
Close
Hashes for sat_toolkit-0.5.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2524f7d0931350bcebad4b403451a8386fb1cb163dc159a0153f245796d57d47 |
|
MD5 | a0c227cb621a2fc66fb9bd7fabd054f7 |
|
BLAKE2b-256 | ff8fa18a64ca34ea0e733c4ba16c4f0c44c06196386220f7ab35965a07b4cbd5 |
Close
Hashes for sat_toolkit-0.5.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4364c63675666530d32fc7dc54bbf35e747a9e25a30df087ba45778dae5abf61 |
|
MD5 | 03d5ab8aa8eea95b57011b2a6236f9e8 |
|
BLAKE2b-256 | e38d9ae4c81b5187ae9b47398b181bdae1506b4c1f87cfbbecb7daf75a01a09c |
Close
Hashes for sat_toolkit-0.5.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 832f747241f019aadd533abecf5cd5b3184b390cd0e2787609af04873fc0ac81 |
|
MD5 | 297e34d687ad90f64124ad7a5c9f605a |
|
BLAKE2b-256 | fbb31a4c4a81d5b49fcb22dae1fb396bdd2f7e0a26734c4356dbb11102538ba2 |
Close
Hashes for sat_toolkit-0.5.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aee4382b0b569061739d0228ffab749f112cf28228a8018b7b1637756cf71129 |
|
MD5 | 69186076865b9b70aaa7265399f1c168 |
|
BLAKE2b-256 | c3ad89be4f19162d32383f5956fe735c2dcb6620fb877ed46dfe38949e4f979a |
Close
Hashes for sat_toolkit-0.5.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bf6df1a068f175c13cef063f2e7fbcd7b6eb54ab7120e9129d1ed268ba51e36d |
|
MD5 | 9a611fba3220b653e92fb4f2eb0c8cad |
|
BLAKE2b-256 | c450fcede3301d0bc850ef178edfa9d3c3ec1820465cd5ad5e36646c8f04ea85 |
Close
Hashes for sat_toolkit-0.5.0-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f767d6afedff2c0307e62d547d2155ae7894f4a7e10ac817a109d6ed79a219d0 |
|
MD5 | 5dc4411c0413ef5d1328bb26f26f40f5 |
|
BLAKE2b-256 | 482aa0d3d0daa0e2ab32f8872033a135b04d95eaa0686da9dae42144f260805c |
Close
Hashes for sat_toolkit-0.5.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 124c0130b5a02b27422c632e85b599b4d2d362516095e456cc6f156da924c13c |
|
MD5 | 86652651e397ffbd4de529b0a0aa418f |
|
BLAKE2b-256 | b5a7e5bb12f124493cc73837ff2f27005b913c13daa4e86d268ed96d19a07e41 |
Close
Hashes for sat_toolkit-0.5.0-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5345459cd0db58fec10978378fab5641d5b6d8d23b2a7ab4849af9455dd43b26 |
|
MD5 | 36cd952449efaf0f587cbbb4f7b55f86 |
|
BLAKE2b-256 | 547f67d9fa1d89d4a8fb0b34ae21afb9c5619e09bc144ed4f1aa61d913c09cda |
Close
Hashes for sat_toolkit-0.5.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 042580ed71b5f74c095d9692c6cb532999bcb8f3421257d869b616da6c228962 |
|
MD5 | 0d149f5280bfeac8e63cd7c1a7e40ee8 |
|
BLAKE2b-256 | 6530e5f7b5b7123bd7d2979872f1e0991ee89985b5808661acd46181047ddfcc |
Close
Hashes for sat_toolkit-0.5.0-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6dfd6d05a7ea0b44b8a22c91c5c11beb3ebfc86a0354415a2aaab6fd2f25cd81 |
|
MD5 | d12b42880ef75beda92878107ed31551 |
|
BLAKE2b-256 | ed7d39e8f15482bced60d35e5cb4c88e4e70d5528181b0f094ca258e558fc7f5 |
Close
Hashes for sat_toolkit-0.5.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9cda6a241879a103cb2e40a0426280190cb4e647d06c8e1afdb27ec8e9dcb0d7 |
|
MD5 | eacbc88add84295a9002628bc16a6c3d |
|
BLAKE2b-256 | 2d18b454c9217a9eccd4b365f53bbbe3c844e7ae8ae199938b84d34d539f4666 |
Close
Hashes for sat_toolkit-0.5.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b18995af6005555ced285c82a5047db4a9d49af696a8ae7d789ef5dc29e773fc |
|
MD5 | c8347e6d694ec114aaf573434d91b1a8 |
|
BLAKE2b-256 | 2f38d156d97bbb758e822afbffc8d40999614be05f14f2390218ac00d9d663dc |
Close
Hashes for sat_toolkit-0.5.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 332d862c0d1052463d32962b815b23ab3341901a0edecad9505ad16e46199904 |
|
MD5 | de4d84fe2d2a2a19140b835308987b41 |
|
BLAKE2b-256 | c2cdf9ada8efff70b14d828ebcdea9eacc56b2e135aba4d116da8ba1685be936 |
Close
Hashes for sat_toolkit-0.5.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1dada3a3949e9707dff6451c5032213402da84e08993ed879dd393d197c7ce3d |
|
MD5 | 0126f979dc10a777ea97dff3c647f421 |
|
BLAKE2b-256 | 21d7b717470651c2b559e11a8eaafe77b72a099096aae16f7ac9e0b8e3e93471 |
Close
Hashes for sat_toolkit-0.5.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 62e82c4f3a62915b3da679ae4e788519bb5fb2fc9007f07722ce9dd037a6c02b |
|
MD5 | c277617699125a3ab4cb255b508cfbe0 |
|
BLAKE2b-256 | 7000447495bc6fdbe9bb051e603af869dc97733079da0704170ea070e9935ffd |
Close
Hashes for sat_toolkit-0.5.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ebda680eeee199da654c844015e040cc12eb07549644225217053f830e37a6df |
|
MD5 | 2f7256b21e26c9bf00b0a5dd30d1c32d |
|
BLAKE2b-256 | 9a223d71b4a536540b01d51ca1021e27338f218a63738ce1f6d274f9cd092690 |