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.4.tar.gz
(347.6 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.3.4-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cfe88031e6886c46e142392ce8bab16275b0f531f4644700f48954ddf565288e |
|
MD5 | bf4ba16071ed37bd60820427f100726f |
|
BLAKE2b-256 | 0d02d3fd6378d2153112b03fd58d5f7ad2467a98a443883051a1f8bf78d427fc |
Close
Hashes for sat_toolkit-0.3.4-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 534e6b00583de9d8fa7f802aee662196cfc76b2772b29ef1eb011a6afd041866 |
|
MD5 | 8a917e7a6b71f05950c47db8b92372a8 |
|
BLAKE2b-256 | 20f650e2f57f391540909c37be6133ec4bbb286e674c4ce5ebec5da14bdd2b7c |
Close
Hashes for sat_toolkit-0.3.4-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 06df9751147c4a45519708ed9ffd383a24b447effd1e89fadaeac1ceb723c5fd |
|
MD5 | a38fa9f12824fff56a72fb27cd2a311b |
|
BLAKE2b-256 | 2d516cb43d1f591fe39fac2842a895ddf3f538513fe1e0d7c6ec7375d3bf2c67 |
Close
Hashes for sat_toolkit-0.3.4-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 76de356f19c7fb8ffb761a2ecc81ef04cb0ee720fd350e25d68e577f675e7290 |
|
MD5 | 938115e858b8fe24a3e173d4615cbfcc |
|
BLAKE2b-256 | e889d45383d961f127efb149336352d73ae6738c2e4277a5eb54c619788e39a4 |
Close
Hashes for sat_toolkit-0.3.4-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a75697cec572ee00ea77844e5a26f15c69ec74f498da2594ed6167010d998061 |
|
MD5 | 863cef5894253ef5927a39e8adb4ff60 |
|
BLAKE2b-256 | db7654db16b8cc8085a00f5c71eb754869697055c069c163897063b87df0b6ff |
Close
Hashes for sat_toolkit-0.3.4-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f5acdb3a9ff419bb47f98a4790eff141c73a0bed485bc47a6e0a9f3271363bce |
|
MD5 | 2e9694e4cb67d55b352f1bdaa9b78651 |
|
BLAKE2b-256 | de046810be41882b235439d57276172bd7a25519d79617a4882f32c501cd4d78 |
Close
Hashes for sat_toolkit-0.3.4-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9cd95264b76e9cb3ec49834116aed2c08553ee1d53cac2d5c9e44f416c7a7922 |
|
MD5 | e87d222e7771ab4b480f6511f308144c |
|
BLAKE2b-256 | bd7f687d7729e61c28d68c4ef1e810d6730515e46289a9ed7835d8121eea56cf |
Close
Hashes for sat_toolkit-0.3.4-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 01e05219d2bfd4f0f89223b42fafc28ef97e52f804f25735450b89faba71be8a |
|
MD5 | 2f643cb5a38c6d9bac5419c5f6f6e0e0 |
|
BLAKE2b-256 | adb93e6d9b0762c68156b5d2856fe3262ab0953f041a6743c2f36d91452ff89d |
Close
Hashes for sat_toolkit-0.3.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ab8ec79ade498787252100338f0f3bbb75301536e3103c32662efc17803af37 |
|
MD5 | 459045fa779226e8ef102b09e26ad791 |
|
BLAKE2b-256 | d64055be6c2c1567aee9007b235442da962be57ad506e0b36c7b6b71ab602b8b |
Close
Hashes for sat_toolkit-0.3.4-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 19170cffc430e4c6b839c5f0358b2dcb821cbffd6dc2e12f890a231e1dce8d94 |
|
MD5 | eb67dedccdb9fc3542885defcddecf19 |
|
BLAKE2b-256 | 12853469e3ecd07ac1b96b1a85a5626706fe50e0e45108ce8e930b9d67944fbf |
Close
Hashes for sat_toolkit-0.3.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c3c1f0f9ae3b0c4f7d0d3e2b7fb34638027f9d581d4657624d21f24d9bb2d51d |
|
MD5 | 54c689dcb88447f463b9e19d4e354d12 |
|
BLAKE2b-256 | adc5ad8b33576b062c9c1aa4dc371666e738284959be96e288338d1bb5ced526 |
Close
Hashes for sat_toolkit-0.3.4-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 68bba07994e917155fac49d80bbfd24226d7c9d6b035f55dc3e8f887c63a9826 |
|
MD5 | ab888e32d8095b5b01526a825cd6cb98 |
|
BLAKE2b-256 | 406d20c0f393e3d4f5d6f6936ed42238ac53516634fc52ff24eaeb8faf7174c4 |
Close
Hashes for sat_toolkit-0.3.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b230d48b4d4721f66117f705b86da9d6d952541151cb56306ba8991443fef045 |
|
MD5 | d807cccfeb4225d5beefbc89a182188c |
|
BLAKE2b-256 | 4346c2e235956dbc102842eb7e4cb4fd7b0186d0ed61185eacaf402902f64828 |
Close
Hashes for sat_toolkit-0.3.4-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fc8ac4183c6b68978e3050c1ff98c0c610e8a106efaed10db09e0ec68aadf185 |
|
MD5 | bef1d5c590b7cf39d8c2fc910ad22f7d |
|
BLAKE2b-256 | 88eca831c551700a133d55fed9940ba64e5eef6efc9a8cf3cca4c3aaf1dd612d |
Close
Hashes for sat_toolkit-0.3.4-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 58d0406c6c977f40792d0e43f40f0f795ecece512ea62e9bd61eb62a0fcb157e |
|
MD5 | f16546c66eeb41b177fbecdcd6c88c6a |
|
BLAKE2b-256 | 4b227964cf72542709bba0bfafcc958d87cb7ba10a252762361e88f48c855e6b |
Close
Hashes for sat_toolkit-0.3.4-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | df7dc93a46e0d9d7b7b322f0a3a1ea1dabdb6e73a5b557c208a2ea47aa655db0 |
|
MD5 | 057de54b6dab2585bf7bfe79c97bf60f |
|
BLAKE2b-256 | 60eedeb1dae91ad39b82949aca9aaeaeb838c7aed0cc5deecd69101581f9667f |
Close
Hashes for sat_toolkit-0.3.4-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c3b9c87ca8f967a6c3ea754a079d43084f90168fc3ac1380e402a3868500810f |
|
MD5 | 5a096df1a84356c458161adc3be7bf80 |
|
BLAKE2b-256 | 47aa374bbbff4525e995c7617c87e3862a8e2bece97f237057780dd0395adb49 |
Close
Hashes for sat_toolkit-0.3.4-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6b9eef2281daf3ae9ae28390b8872a0e9a7be7ae2b86c196b3a55967f1fba273 |
|
MD5 | fbed94ad098ba3af9dc55d8449288d1d |
|
BLAKE2b-256 | 98c7ba3fe5dec97a3bfdc4a1a33bb129e98607e297ad82fce8d8aeadd4331861 |