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.2.3.tar.gz
(300.6 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.2.3-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c3cd8092e204d726eec261189373bd7861f0b521a6e0a2acaeed3431cce41d3e |
|
MD5 | 4766bd710e6c9e5362ff677e0be5f159 |
|
BLAKE2b-256 | 6a1137c7b25b13ba0351ccf32920a158e610903076dc68d98a7660d6e8c4c12f |
Close
Hashes for sat_toolkit-0.2.3-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1efb9aa501d576d6452a2e90985144c126a8f2afe44df17b507659e216463b19 |
|
MD5 | e9c2c8f8073c62648af6da8748eecd86 |
|
BLAKE2b-256 | aff2b262c59082f23c43b8d991d5c30e988911970e64528c0bb6041928714bc7 |
Close
Hashes for sat_toolkit-0.2.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | faa827b73b5c85d661e2b2c3c2a0323dcd4d69d47272269411396ffef9a9c4ab |
|
MD5 | c63cc7abccdf0df8d7ee7395c81bcaa8 |
|
BLAKE2b-256 | bb3d27829d07fae4144349d8791c58a1c128f28ab01d5d918bdfc1782819c034 |
Close
Hashes for sat_toolkit-0.2.3-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cf219e8607c1afa1fc9359ede556d3ae8f0a910da0109ef9fe47fb0dfaad15c3 |
|
MD5 | eefb756bb51e964f09d38b3e34bf0d23 |
|
BLAKE2b-256 | b89300470d066f7f7106682e913729e8ec950d520b05db3285e1d91030f7ba6a |
Close
Hashes for sat_toolkit-0.2.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1ddcf8e63e6ffa4ea31cde9900c6c38ee4dcb08e0eec83785d02f96d580e749f |
|
MD5 | 7dea1ba56626b415786b85d106d034c9 |
|
BLAKE2b-256 | bc14938202f7f8520d7a34308bbbef62ceb5be5c92b0b7810d55a0212ba61070 |
Close
Hashes for sat_toolkit-0.2.3-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2c04f4f20489e1c13c2b4d91e5e26184268d7d89d23a13391cf62004664b3823 |
|
MD5 | f1553694b099e09ee8b7de4a8df53326 |
|
BLAKE2b-256 | 1f1c6d820293d520415f2465af38dc4775cf3da741d5d91b8c31ce86a2b73745 |
Close
Hashes for sat_toolkit-0.2.3-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 825aa8c6c552416c157170b38ed2864bfaee023ba9d49415740936e9b2fb2d16 |
|
MD5 | fbc9b0e7fba121e6747718f57d8d7968 |
|
BLAKE2b-256 | 86bba1e3cba03ffc1c304460d49fc5c900dbd3c171b6cffbfed35b142d346188 |
Close
Hashes for sat_toolkit-0.2.3-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 485955b1e0a17fe396649446595ef002a72cf9cd32236887e51bee2951853d53 |
|
MD5 | a6e0783004feb61ded77609fbaf06f89 |
|
BLAKE2b-256 | fd68a8d1ba5c6befe306eb5317eba3d13d700e4c235d193243dbf37227ea239f |
Close
Hashes for sat_toolkit-0.2.3-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4e9bb1ce6de39996ecc085a48d63899f0ab2df4bd9c6fab90195954eb15b98b0 |
|
MD5 | 570964a8a883253c5c0a8e8c08877587 |
|
BLAKE2b-256 | 4eedfa1fd92d1b07b192047cd23c7b1a3ef11ee2a17bd0ddf59f5fe4b9bef900 |
Close
Hashes for sat_toolkit-0.2.3-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4c31079a71478691cc1d405cbd0dc37ce71fe4ca354712d3a5bde07371752820 |
|
MD5 | 014910d8c4afc5bfaa5ef9ffeba7f3ff |
|
BLAKE2b-256 | 6f19a3fc7acd0e56fbf7c9bf2b8252a02f7084baebce46a5dd3ef508bf5b843b |
Close
Hashes for sat_toolkit-0.2.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f052723e5d2b22a9f5d92145ae5a52893717c2879da3a005f09cc18f4ae769ea |
|
MD5 | 27dc237b6daf48336a65c6f4063f1500 |
|
BLAKE2b-256 | df7074cd80ffd4abdf5c7a1f344b5af209a1f1fd7223ad49da49bdfd8c7d9c9f |
Close
Hashes for sat_toolkit-0.2.3-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 00b0cebb2cca5b2c247742a849870ad9d1b4fc4a347868d248218703ebc2e735 |
|
MD5 | 5af8812fef7a2a56fd0532d62f0b8594 |
|
BLAKE2b-256 | 52aab0587a25c952ead8919b1edb1f39ba02dd70c436c6ac6fd61ad4b63fcdae |
Close
Hashes for sat_toolkit-0.2.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ee2848037844095ec1be6c1d346ace0e510aa39efc63832f714879272f465511 |
|
MD5 | 7979d017494cc1928728bc470bd3053e |
|
BLAKE2b-256 | 366e82a3f5e63c8a45ad74c1b53a6bc917c424a43ac1feeb5d272f322b943fe7 |
Close
Hashes for sat_toolkit-0.2.3-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dd33869bb409f46c4bffae9c2dcb68614b86705090ded336e34cbaf7c899eb48 |
|
MD5 | 061d94b7e94bcaad0963553a3ea85b96 |
|
BLAKE2b-256 | 961cd7ba1012d85f9915c7060eac617ee0975941b3c46053904318cb6bf1a664 |
Close
Hashes for sat_toolkit-0.2.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f24e87708426fa62bdc92fd76dc7784b26cb6a58d0233e67d4615e701a52309d |
|
MD5 | 992daf6bc9e5eaa69a868091bb38f670 |
|
BLAKE2b-256 | 6ae302b63f2a2b3cdd6197ed9709dc4397ca5faaf48e1f637198c52c8f04bb32 |
Close
Hashes for sat_toolkit-0.2.3-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7dbc41ca3494578a722aa549dd82f3c8d70a7e09b53669119703b0a038ba091d |
|
MD5 | 5bea98b136858f2ad16c3d2d59c1840d |
|
BLAKE2b-256 | ef5732ed69a30eca246e48cf8324bbb168b06500a29cfe85d63ae5f2b28e7456 |
Close
Hashes for sat_toolkit-0.2.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 597e476692814aba6aade436b23f82dd3e927519c88447370f365da6c4dca5f6 |
|
MD5 | 4fbb0c5bce008038d0817a627b903845 |
|
BLAKE2b-256 | b36a51ae704516263a0709fb92e253944d0da77effbb8a2d5ce69d005d04fb9e |
Close
Hashes for sat_toolkit-0.2.3-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 55b6c7dad5ce65f9d05ca5727ed66c09fa1ac9ce51f6b64f83959bab5583a3dd |
|
MD5 | 374ffd981036791bd74bbf5f9b3e33b4 |
|
BLAKE2b-256 | 83afedba2337427ac2bfb6cfb1ba8151c2025b0041030b9427c01f64286263b8 |