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.5.tar.gz
(368.1 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.5-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6a239a2b68b2e6d8ac0686d02da0e372c3b6f0357a16cda0dbc2b7ddc344c29e |
|
MD5 | 08311ae7c73c32303e33d0f4e6ee534b |
|
BLAKE2b-256 | e08f308f707a9044306f98f9613f9bf8cf51bec389a427b0a4922030c78306cf |
Close
Hashes for sat_toolkit-0.4.5-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 96e631723eceaebfdcc88221ade261f498449cba99f72c99802276872e35fb2a |
|
MD5 | 50f07d76ef6c7cd4f84547f3b48200c3 |
|
BLAKE2b-256 | 2acd8fa94a0b858d503fe5ead69a9b5113d1d981953e72ba4185c9d3dcec354d |
Close
Hashes for sat_toolkit-0.4.5-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8d81a8f84da84c3447ae9743a31629b61f215288f80b7080baedd1c40911c6c2 |
|
MD5 | d5bdcf8117fa54c98534be6b00bca5c9 |
|
BLAKE2b-256 | 548c83882f861f1d9b494d5e0ba3a25b0193acbdb506b5bbcbaaf726586591ee |
Close
Hashes for sat_toolkit-0.4.5-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 72bc89027d36d7510109fb51ed6115c5d13169f8551eb0adbf1964b89c7bbf1e |
|
MD5 | b1fc8fe65cb2fc51dd2301d69dd90393 |
|
BLAKE2b-256 | 91b3667fbb8b9332f09dd1257a00c9c3415e8ddba1e65924ee67ffc102929536 |
Close
Hashes for sat_toolkit-0.4.5-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a11d36caef24918930bfeac2056ae34b8cc6bb6b816fa6af2a90068f70df1602 |
|
MD5 | dbccf9b81a95e0e0820e14735fb9a5b3 |
|
BLAKE2b-256 | b6d2dafb5aafc036ab5d851e727ffc012d4e39ccfe6ca4de8ff7e40bcd18af87 |
Close
Hashes for sat_toolkit-0.4.5-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cafe3aa5366fb8d665d8c58a017160a6c770ec9506a72c865833eb0736d00c73 |
|
MD5 | b1262460c7bc5cbaab1e96271cb8c249 |
|
BLAKE2b-256 | 3772937a2a30a837b1c0e5517f7a380ba66d875ce1c996953a4784fd1e022675 |
Close
Hashes for sat_toolkit-0.4.5-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 502dafe6e6bbcb12afe158860665b75a12cc509c405fe5334557da0e5c0f395d |
|
MD5 | 8e366d5de79f355f62dbb516f469c17c |
|
BLAKE2b-256 | eccacb46fb9b1fd6c44cf028319f0949df2c272dd2275fe2b63168efc7ad08cc |
Close
Hashes for sat_toolkit-0.4.5-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7029839220766b6541bf6a433096597848b8667ad76eb3bd65b335e2b8b91355 |
|
MD5 | b96e79e1a98c8375783838303e0df407 |
|
BLAKE2b-256 | 744d3b782089ff8454ea3157bde4728d17756523c8e1db53913b17afaa90261a |
Close
Hashes for sat_toolkit-0.4.5-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a5800937245c9fdb4ded16ef76765a9314ce70606308fc0ce64080a979043783 |
|
MD5 | eb6120e01c26ee54039433c0a3e2c30f |
|
BLAKE2b-256 | 8ef6586478714f7d9b612ceb66880e75b26fabb751526738f1a1caf846276bc8 |
Close
Hashes for sat_toolkit-0.4.5-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 37e6d4dff580fd10860a036a8c8a96f73eb4cf739030d29213a522c069f1828e |
|
MD5 | ef8bb63aa96d90bdd43484d6c0ad9e7c |
|
BLAKE2b-256 | 1e8c670d78b36fb66788fe136e8cf09bcc6f686f66cef53ec4ea97e42ccd32d2 |
Close
Hashes for sat_toolkit-0.4.5-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bb7ddf36493beac0fba0bad3da37a236c8fb14093fe32f2cb66284c355b2086f |
|
MD5 | 60335b3e54b0b27cfa7f722ce476ccdb |
|
BLAKE2b-256 | b6c98c7862c44f968f730a0c96d00597c8e9ae6007abc5105dd0103469ec399d |
Close
Hashes for sat_toolkit-0.4.5-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b03d02e6b1c8343a9476902d5b5ba8606a6a67e860165a064e20e4e06f194217 |
|
MD5 | dd89fc92dd3e5c75f059eecb494ea715 |
|
BLAKE2b-256 | d3540363a80fdbfbd2d615484e942d32d75fe51418776e70716c6fba1f97d425 |
Close
Hashes for sat_toolkit-0.4.5-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b6529ea0d4b785bfa4864b4ce848a76d4dee7466af83a1f40bac4987a18fbd59 |
|
MD5 | ee4b50f2871b1c634713a81e2433c958 |
|
BLAKE2b-256 | dd7b89f3ebb1ea3283de05c0394d563710e6bc99d702f91565f7718385d58f04 |
Close
Hashes for sat_toolkit-0.4.5-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5b3b31efeaf8d5fa8cb210ddfbc241fb29de5fa8f58c1ec825c6d58d908235f5 |
|
MD5 | 69b12fc0ab6fba42d3873b6b838d68fd |
|
BLAKE2b-256 | ab7bdc552b8bd282b4df7e2d20e15244f15dbe8a49e45946a219ff06bbea0ac4 |
Close
Hashes for sat_toolkit-0.4.5-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c579d6c2eb2da2e547bece81292a8f0da47ce0574677aaff90a0d45a377dc3f0 |
|
MD5 | 523359adfe0aaa6d74cf5bd3f24686ec |
|
BLAKE2b-256 | 26591bab0cd5c90cfe8b6c9382325fca06f82e580b2c1e1ae7a86f60262eb1da |
Close
Hashes for sat_toolkit-0.4.5-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a2e9bf1aecdf1ea7edfce4a5ae170b9c750e626f49c0ed6a55399b4b208ded23 |
|
MD5 | 92e4a5665f402288c22eb45894ab4f5f |
|
BLAKE2b-256 | ada009ac8038d0dcbf781df495a471cc9de6aefda24ff5533031652609d5d2dc |
Close
Hashes for sat_toolkit-0.4.5-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8cd8916d79276e824efcab08b08054bb86588fd596e15f47257c90ee49c358ac |
|
MD5 | dd060a511e3ebb1c952a8d0f0e98df64 |
|
BLAKE2b-256 | fb5bec48915ad3cc36a38904b09ad653e25245c5e361bf9951aa7808ba13384d |
Close
Hashes for sat_toolkit-0.4.5-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3d512f52d2b365dfb98aff941e3b948a4ca55453767838e0d4c6c5dc73abde48 |
|
MD5 | 425a0bfb90e7323a41dc0d00af55eafd |
|
BLAKE2b-256 | 6e997763785af46528fc68af9ee5bcd360b629f724c319e43cf107e86bad5cc2 |