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.5.tar.gz
(349.9 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.3.5-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ee18d10ba57035e4dfd21d74d6e811f0a50e913f065fdd15b4bd81788209d49 |
|
MD5 | 0ff1ab3060d157dd926aa2b92221b142 |
|
BLAKE2b-256 | c00eafc4fe0578c73f620f15505441c1515bc01cd685e2b1ed08f86579731625 |
Close
Hashes for sat_toolkit-0.3.5-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ed8b7e082e71711cafe34037eefb6396ea273474cf2200003a17374bad47037 |
|
MD5 | 455316807c407f1c73e6c4d7319fbabc |
|
BLAKE2b-256 | 040ca84b300d594a390720369a661b5335243e6e7e32ba9df71f6d8255a7b3a3 |
Close
Hashes for sat_toolkit-0.3.5-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 71476cc61c42e437a20252b910c3b2c0882cb68e846595b6c39b0e06d9cbd049 |
|
MD5 | c140821aab02539978c1378f08ecf87b |
|
BLAKE2b-256 | 4936690cb4357bbfaaa5532ed447b5adcbc9c0cf73caea8808a76e705f31a552 |
Close
Hashes for sat_toolkit-0.3.5-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 106c545e34be85b4e83147de6e0b241b62c174797f394ab19ae7cad0adedc3d6 |
|
MD5 | 2fa4eddcdbb0b0b99b38c4b6ff7dd103 |
|
BLAKE2b-256 | 0332ceadca644db99c8859a104dfd96dee2a3014262c9f5ea7e69c62b685bd1f |
Close
Hashes for sat_toolkit-0.3.5-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 807b024b608fc6fbb9c240790a18300b83bec8a16bfe549dafb57d1e7a80d937 |
|
MD5 | 1c3c8414f9dcfe72b7d922f1810f51e2 |
|
BLAKE2b-256 | 8a3cbfba5d69f685b8e56384a05e120009993a290094325e407749a5a75359c5 |
Close
Hashes for sat_toolkit-0.3.5-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d3dc49f529ba3e401f381f82bde30b768589a146923713eb1d1e2e610e9be0bf |
|
MD5 | ff05d47fdc6c96164e2c243c9f46882e |
|
BLAKE2b-256 | 0853765f7cfa52e34f3316e38d5a05955fdda3c468d893146e2cde6aba5c2ff3 |
Close
Hashes for sat_toolkit-0.3.5-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 469a396e80a27e759baa92af85d9270930985e9e46be4c443a7905e8672e7625 |
|
MD5 | 80b0115d157727a5361e9e1f886b7e26 |
|
BLAKE2b-256 | 1b467a9e9b650fd93fa254dddc68cffbe9912283631be46ccc07d1f121b3be2f |
Close
Hashes for sat_toolkit-0.3.5-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e29243b992602da10516b9a5503efdddc00d7b52ac9b486414c579a9f133efae |
|
MD5 | 2bdb38c9daf25b19ce1c28024893cc7f |
|
BLAKE2b-256 | e3e34ae533c7b7dee617f31c4abe9c0a398c1ced28d5ce6e7c003ddb03d99042 |
Close
Hashes for sat_toolkit-0.3.5-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e2d65dab3891e5f58a0611bbc7c31e4db12732e7f0e6da90a85ac112c751c45d |
|
MD5 | 6f9857c3e58faca492362c5315c20097 |
|
BLAKE2b-256 | 289e885950d63f15cc1acad88b4e82661af5dfa3bee66b06ac5343f09545002b |
Close
Hashes for sat_toolkit-0.3.5-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 532fc40a526d77a8e4eb5c41414d72fb7005a4f4eb05605ba607ec014ab40b52 |
|
MD5 | 891dea14208f6264fda2763dd6358af6 |
|
BLAKE2b-256 | 3259d96e112c230423abc8756f3d8b662163b04e8258fecc4b3ff7cfc737538b |
Close
Hashes for sat_toolkit-0.3.5-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 97a7c77bf973437e768e5ff4fcd8c9bd60ed774cea6d7c9892a1dd7f1cf3f55c |
|
MD5 | ee73ece9663cef51af9f756d829fd81a |
|
BLAKE2b-256 | 7fca79662e38a2dd89c84a27b7296b5d15503f680e5dec6347050c9be2b24855 |
Close
Hashes for sat_toolkit-0.3.5-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 071a76f90af850c460344177c56d4dfd1c5ef4bf571acad222837326f4501a59 |
|
MD5 | fdffd4155396790e8d5c0d3684df1257 |
|
BLAKE2b-256 | f5893ca195f4c47b844e968aaa34d48fa19585f4641d8d4ec28b373db5afa210 |
Close
Hashes for sat_toolkit-0.3.5-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 63edf1052b91d4c25c316a0cf9a135c34891e7e9de006b065e7b077c1fc6b2fa |
|
MD5 | 3be7cc5223ec68d9637a6082b6ff5630 |
|
BLAKE2b-256 | 4009950e078e694f49d9fb52d1eb8dd9bfd72234ea25d36744626bc38947cd8e |
Close
Hashes for sat_toolkit-0.3.5-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c37e98217fdac6956121425ebb51664d406211f9c381a630acea7a5cd47c356b |
|
MD5 | 3d0241a834d33290e9b88d456b24ec04 |
|
BLAKE2b-256 | 4649bc3793ffcb722e0f9eece7717eeb0b00cd1f34a1a1e10276ba33b6eb9925 |
Close
Hashes for sat_toolkit-0.3.5-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c3f4c0b21ba2a50c9be8023d62f5f6897359b505a7b52e1e8a713e7403116034 |
|
MD5 | 5042df5e108b291a51096e42b440a317 |
|
BLAKE2b-256 | 84da59098dd1aba3988c9f5f387024b784e1f2c68d3325fe793cdeb4f4da37cc |
Close
Hashes for sat_toolkit-0.3.5-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cf2232f09cb159713f6e93058d31afc214549bafbe69f603959f61922adae0b6 |
|
MD5 | 6309c2546f829b8d88879523e98d515d |
|
BLAKE2b-256 | d2d0509a3d727a85f8d5035e29d3a68bf754b4b8d3ca5f9cc7d4f729689b663b |
Close
Hashes for sat_toolkit-0.3.5-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e436b1b0128eb5ea60e7ddd7e7bc99d602cd3e5b1ecdfdc228a94bcb4e099527 |
|
MD5 | 5fa5d2e973913001abba71c13488e9b1 |
|
BLAKE2b-256 | d20b113bcf76c43a8f0f72eb4fd25aaa22def9d354a9c54b256d3299e38c8fde |
Close
Hashes for sat_toolkit-0.3.5-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 796fcbe512888b9d28b17be266c711e8998ab1206ae4a8bd6ed22fe9b2fcd95e |
|
MD5 | 2904fcb3c930862aa8d182e76e5e4c11 |
|
BLAKE2b-256 | 890e8aeb70a50d61b24c44fbcc30525bfe55d9fc48e033f8a24163d92f1909e9 |