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.0.tar.gz
(360.7 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b07b2b5f772ee0c2e5ad51b472fbdd748a8b6a18edc719eaba8bdc48a4ab82cd |
|
MD5 | 69313c849d59b2a6e6050107ccfaf191 |
|
BLAKE2b-256 | 16d6269721f2b43ad822b0f09ce437f08763e6d2e4780c6b77b66e5146d66833 |
Close
Hashes for sat_toolkit-0.4.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | da680148752aa6f6dd2c83039d3f2c3d4656bc36de1dd0eaea23aeb4c5027135 |
|
MD5 | 272ca4461880fa4f2ac8c64c02190387 |
|
BLAKE2b-256 | ce71e4f4c7dcb6d1375f13fb20c333ba353c86945a8795a19e3c6ed32540c09c |
Close
Hashes for sat_toolkit-0.4.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f9550e19a5a73bf5d8b52b4009f82897491dd4f30034edce3385f320cd6ea02d |
|
MD5 | dd2a5044faf78d6dbecd3a6f5c25ffd6 |
|
BLAKE2b-256 | 8c7dfd49799999e6062e779d4d3692629f8aac36aaa350654e17208bb490c3d4 |
Close
Hashes for sat_toolkit-0.4.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 163e2739288b011825502bcd8b433181dd98898f6e5a1c05730c6cf4349b8e50 |
|
MD5 | aa65bcd5c354fa929c26adc4d67aea78 |
|
BLAKE2b-256 | 349465d24c17bf9f50d576583a5229d9a2e9facaf668eedfca7265fc9654172a |
Close
Hashes for sat_toolkit-0.4.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4cb7cc4c9238904ce6a69a3c29d8886aa7f5f9eb36698de7361add8fd1d0a250 |
|
MD5 | 64be402a5c47991a13af69a11217d0e8 |
|
BLAKE2b-256 | ae7d795cc7c99baa61e09bdf05726f93cd93a07184224599f4e82a18334091da |
Close
Hashes for sat_toolkit-0.4.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bb550c3bc171c3ef320280a7de7a68f8d91473bcea31a424636485cc75dff6c1 |
|
MD5 | ec5a75ea93a5d2985e1fd2e1f3c518c8 |
|
BLAKE2b-256 | 65f2b190c67f9adab2678c03e4e3cd9ce84e88ec6067e0d381df29860c6564a8 |
Close
Hashes for sat_toolkit-0.4.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d4354d93f5fa601d40916e0a66beadc13c17cd0312d59c044128f9306baf910f |
|
MD5 | db60d0a8c261998e9c8c60c0bf1bae7e |
|
BLAKE2b-256 | 65aadc48631fb8faeb786b0183717aa8ee3a0129f4a09d88f58b550aebbe13cb |
Close
Hashes for sat_toolkit-0.4.0-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 695b2e9586de3d3e76987416f474187ce6805f5f8bb23a90229d15837281e358 |
|
MD5 | 4de83309b9459694b8073286dc540f1b |
|
BLAKE2b-256 | 56ef88ff31d6a047a1809fef88ac6aa98717a77c59300c80c444e1c4b791a5c4 |
Close
Hashes for sat_toolkit-0.4.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0e2b2e19ca6acd4d1be3f00e30076d17a466635fdf783dbd076c01ebcbf5f90f |
|
MD5 | 1c54b3c96652d52788adfa670e8829ca |
|
BLAKE2b-256 | e3538cefcd24eadf7a3d6b9a82b0a66bdf0fce7f97cd423a3592b8dddc705b2b |
Close
Hashes for sat_toolkit-0.4.0-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 447d99235f286bca5706692b95afcb1713672eb353118715eb20bd4d261a4ed8 |
|
MD5 | e7c9807d018131659515ccb4e8044177 |
|
BLAKE2b-256 | 2c972a70adb0c8dde1e365fe825e72f15fe2ed2ed09f8d149ad29ac7dceb2ea3 |
Close
Hashes for sat_toolkit-0.4.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 81119f4b4d87488b539d88ac90c145d3f39745dcbe5fbaa82cfb3e573527a7b2 |
|
MD5 | 8b63921b5d18cd0cc149c6465c8c7aac |
|
BLAKE2b-256 | 774e2084b76f2f2ddcca336f0d6a4961e763c107938bb02b50cf22a6d6372fc5 |
Close
Hashes for sat_toolkit-0.4.0-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b99d396a7dd7ac8882adcbfdc671f67ca8f905012330b24803b218384558e3f9 |
|
MD5 | 90cb95059a3498dab93168dc5aab85ca |
|
BLAKE2b-256 | 4d0b3cf0e48fa1dbe7f052a553c000c83860c675bc3d5e7ce35da5b59b55fffe |
Close
Hashes for sat_toolkit-0.4.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3977b4d0a162b4e8b0c98f333c637d01611293f663f586804c4b2b27471232df |
|
MD5 | 1950719212c20a98bd118a4031d7d4b5 |
|
BLAKE2b-256 | 1d8eed5f31145d22c043ca8db1dff561b0486eae5f341b3f4f261e3a4e5ea605 |
Close
Hashes for sat_toolkit-0.4.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 01704f7d14abfb36380a3aec5a64a18d25a50a828f5403b8d399447f61cbebc1 |
|
MD5 | 51ec3d3b58037a0a06f57b39c061cf38 |
|
BLAKE2b-256 | 6ae20c76960de1c74676c1af74cf287f7635000fd42323fbc9c1603b420ce321 |
Close
Hashes for sat_toolkit-0.4.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3023c6e62629e4b284f5f547ab310ec48a6336afe5947643bc0f6c5503730873 |
|
MD5 | 48c407776321ed8d29c2762f32a29a39 |
|
BLAKE2b-256 | b053e76fd4b0653ada2ab70abbdf83d0df2795d34a177bdbd2fa17dee1e4adfe |
Close
Hashes for sat_toolkit-0.4.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 40f62fddf165d93dc8827a447e42c7df357ca52655057184c40aaad7e0f59d74 |
|
MD5 | 7e6cf211db3aecd0d982115ef6d3c22f |
|
BLAKE2b-256 | 6ee9e9b4ad30f334cad45f43bcc8e39f8d7f95dbd579c4b1673c09c388fb6e3f |
Close
Hashes for sat_toolkit-0.4.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0c67a5cbda108eef4dbf32a13857e07e19343ebdd86364e5200b0aa60f5cf6e6 |
|
MD5 | a4e8ae864939e00745e47029a8f71c7e |
|
BLAKE2b-256 | 49d5941a643cfcb78841a5113f24ec6967c1d9da32417bf3da88256c5f1c2fc1 |
Close
Hashes for sat_toolkit-0.4.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9e96f7b833d20d2e3c661af5b6277debd0e182edfdffad7bdb7a6edb3dc1286e |
|
MD5 | 19f81ed96c08e4bbe6dbe530b27cf6b1 |
|
BLAKE2b-256 | 28e723f9ffa016cb3da0bb77fc63d14d052ae29de95b921195cad42cb3afbd7c |