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.1.tar.gz
(337.2 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.3.1-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ef1ae00cce9ede0142d8e23b710acd4f6723cbb8d5dde86b36f35a0429a1654a |
|
MD5 | a5e29d9da0a36ff631ed6e965b853ea8 |
|
BLAKE2b-256 | 6deeabfe6f45822b8217a783587711e93d177efce1ef639ef82e138e94c973ea |
Close
Hashes for sat_toolkit-0.3.1-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 813fec70285ad7ce2951de2895a8496ac9aa6cf5dcaa6e84bc7ff4e0eabeb72e |
|
MD5 | 724a01bfdc4741cec207f3e5784f5910 |
|
BLAKE2b-256 | 063fa84196afbb7a1a4fd07fd47467d119395b86f0cc7aa1b0f4d43d3234112f |
Close
Hashes for sat_toolkit-0.3.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 454e63480e8d4b461c6f28f95ba69857c77f3522a67c172692e62757528ad638 |
|
MD5 | 93731e1cf77603bd9ab5e3369757a9b8 |
|
BLAKE2b-256 | 824815efa15871e868043520ce5a07ad8f1499f6e04d69c5efd2f9b9e1d050f5 |
Close
Hashes for sat_toolkit-0.3.1-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 44dd231a2b4f434b6a2395607cab1a417bac7fcf2adecd08b2beb59606c53c22 |
|
MD5 | 9509687bc93b3ed07652821654151646 |
|
BLAKE2b-256 | e2bd2e67a88f461704b3df7fadfb23c237fb9ec32a458fc8e1e72a7581592b31 |
Close
Hashes for sat_toolkit-0.3.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 62e809a5905ca5313678ad7fead098810161b3ee94946526798cdeaa1bfcfcb8 |
|
MD5 | 6ca51b33e96272bafd66ebdddb8633ca |
|
BLAKE2b-256 | f36b29f2b29dda0a794c59bd45a7affae91b660ee4fb1d4682c37c77edcb1a14 |
Close
Hashes for sat_toolkit-0.3.1-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 29d2a2c6eb43b60f504cd681c3965d3b5fe3e6eb29b07248ea9910f67244734b |
|
MD5 | f95f886632ac37f11ebb75541ecf700a |
|
BLAKE2b-256 | 4d6244d84a30c7ae1719a8e154d5006d81a130d7d9cd41a98fddf182fb8a9baa |
Close
Hashes for sat_toolkit-0.3.1-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5cfdef7937d716e96b50e2ca144b77849ffc8cf249923d2e08cc6c635dcfd81b |
|
MD5 | 3020bc7717275009e92fc8bbe8821a62 |
|
BLAKE2b-256 | 276162419df98438868e81ce3700e249ad14936b3e3ba8abd55b2ef7d9364122 |
Close
Hashes for sat_toolkit-0.3.1-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3e9ab1d38348ebda406b2ce90895eabd498989a938584222fbd3d5110f926cb3 |
|
MD5 | 45071b7356c3c30aa4ebebfad5740263 |
|
BLAKE2b-256 | bea984f289aeddecd698c4da35a9f8e31b6f7415bb50bdec5a4347faab393010 |
Close
Hashes for sat_toolkit-0.3.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9e40f37e73f62489731c31a7b55aca28056544c04ea3bea8b1b063f0eb064046 |
|
MD5 | 928b3e8c0b802f3bdeadd4cbe7dad2c2 |
|
BLAKE2b-256 | a4a9d214c785f13e656c4a4abe4d46eb12827fa0ebbe178927b956d855568c90 |
Close
Hashes for sat_toolkit-0.3.1-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 767aea65de51ddec52d3bb6b92bdc1a6ca8db3e80f0d564bb711087fd185eb77 |
|
MD5 | d355cf9935615df1a6292233b846f0c5 |
|
BLAKE2b-256 | 033b6c61bf128f08b36e78eca5c46de51f500706cd5628f65ec8025d8da43c71 |
Close
Hashes for sat_toolkit-0.3.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 217b166dff76fce87c9d9f4b565d1b23c26f4a87a8d0cbb214fdaf0492a2c7f8 |
|
MD5 | 48175e011b7c3819f3c089762146c695 |
|
BLAKE2b-256 | 36d8cc5fe8baba62994b0e7029bb9485fee622b4b310986a52586b57ff948d97 |
Close
Hashes for sat_toolkit-0.3.1-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8197bd3337a7dba55b528141fd7f188ea598d6b253f0069689b7814f20625ae1 |
|
MD5 | 7131f4fe2c18058a0e27b4de29b7dd62 |
|
BLAKE2b-256 | 4b9ae415a3773ad0425b82f6a1f0e8c095636a91e4aeb78ed4d5c9d7b4343e5d |
Close
Hashes for sat_toolkit-0.3.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4005ad163ce7bb3a87a28bdd79c2f8069b4db337a2621935cae5b5e8dabe8196 |
|
MD5 | 27f00d200f847feabe903ebf4272add3 |
|
BLAKE2b-256 | 1a31e072f9f8728545792d0b874cf86cb3bb7b1211e0c09f0eaba4d58ab9c550 |
Close
Hashes for sat_toolkit-0.3.1-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2d1c2b71be29eaad5d2ec41170b9e70ba2e6feb0cc8b40b4f1b26643e9020371 |
|
MD5 | 4d2144331b79ae0e633aaa2a68acec95 |
|
BLAKE2b-256 | ed7a04775b253bcacae1679f37ff663d7dd4404e886d439e3ab2bd6634d62a19 |
Close
Hashes for sat_toolkit-0.3.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | be6c03f166929ccf0acd99cb1e25fd6137ec12e56b7fd292edc6b34ac7590313 |
|
MD5 | f535964a998075d250f2ce5f78d6b4c8 |
|
BLAKE2b-256 | e88bd5d7f6c8449e4ff5aa57fdce0373fdeda8705a1fc68e6c39d5487665d15c |
Close
Hashes for sat_toolkit-0.3.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d9dcee6800aa63f48e61b828a687369552f46e8e73972cd0908183185f363dae |
|
MD5 | 3b53ba7dc8208458d635c7445e6e3ea9 |
|
BLAKE2b-256 | 211d52c210352b0247563e19433f8dacf821f55bf554244534345fae98c042c6 |
Close
Hashes for sat_toolkit-0.3.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 31d29e00d8341fa55b7f68dbe90c5e0368868d284cb9ca112e5390956f63f75e |
|
MD5 | 4fa14d4d9c5e1707b317dba568a4a4b3 |
|
BLAKE2b-256 | ee786b817beabd33989331cab4b7e1419caedb952c035879507ed93ce4e54fdb |
Close
Hashes for sat_toolkit-0.3.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0ec5c012fe0ee5eb80f8f4b91a3c2d7e580d8e23a86679cbdd211c3e7c7d9ae6 |
|
MD5 | 201ae5390abeefa1e8ff11a84ab750e6 |
|
BLAKE2b-256 | 5e53309a6e78138160003640e16903792bc406a4d83dd9ffd9e650cdb3d15f1e |