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.7.tar.gz
(368.2 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.7-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ed38eeb12ab793fb0b783905ab99c2f9d533f7fc94edcae7a3c05b65f393d2f9 |
|
MD5 | cf863924de3072da60ccf6d7aed494d5 |
|
BLAKE2b-256 | 432ec8eef6c55af953e8886f125a5bfdaeb0d954bddde81c8fcdba9b3bb7f584 |
Close
Hashes for sat_toolkit-0.4.7-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4f45f3a3228350606b61ce1101ac4da8051294f316159616c0c4087f85eb0a65 |
|
MD5 | 711d9acbe5b059f6e29f89493de38ac2 |
|
BLAKE2b-256 | 5ff8a093ba5298cf1beab15bb3d74eb0988062205b49580e1f483f2da08483a3 |
Close
Hashes for sat_toolkit-0.4.7-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fc851cef64e59ed5aa92e9c3d7b9fa2b46645907b63649e687e9048f270ccd0d |
|
MD5 | fc632d4f157f11fb46706105ea809a3e |
|
BLAKE2b-256 | 55926a0cf312ad59cfbf09dac2fd8fe17377bc1c343a87c9bdec839f38baa61e |
Close
Hashes for sat_toolkit-0.4.7-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8a716f71ae7946e45e31858e851ec718ecab1bb8672913af89d412592afc2390 |
|
MD5 | 5ce8142077488bfad0e584bb085709f1 |
|
BLAKE2b-256 | 4504b54022a0564742569f0981e00ab84c41ba4acbeab8a5f4b718355fab1c63 |
Close
Hashes for sat_toolkit-0.4.7-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bc3cd669da5c7541e8af94ac17318491424af60d1103eb7558e2f6b65cb1f753 |
|
MD5 | e817fecf675e68b824179167605877ca |
|
BLAKE2b-256 | 8f4e689b30da7ed09cac38c98dca00466aa2e21be18ef5032ae628a601b9ef9b |
Close
Hashes for sat_toolkit-0.4.7-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cb79058debd51cb31acff0dfcdc97575de5d5c8484aa494fde08606ecb3e4b1d |
|
MD5 | 905a4fa19cdcbc10bd984c23b5c53581 |
|
BLAKE2b-256 | 0a7590ba8d3b44590c215158977ef3e7a0561982decc8da3157a06f77eda83f0 |
Close
Hashes for sat_toolkit-0.4.7-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 714e86a8467cef410eb122826f43afc4308a85e6807fa0a15d59806956a823ff |
|
MD5 | 76384f5bf0c6abd64f2e2e1a0db2abcd |
|
BLAKE2b-256 | 4e0233c0388ac35b54c328f9057daf6a26cf32552b25f18e182de23d648a6a85 |
Close
Hashes for sat_toolkit-0.4.7-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fbcc7b823cea629b00cce9506d361a817ccf72a1b5feb00bfcc08cd08a0a053b |
|
MD5 | 6d528c4061e336608b107bf20d6cce18 |
|
BLAKE2b-256 | 5136d9bbdf148cd987cafcddbb345a6041d7079ffbc379fd258a284e63ac7c92 |
Close
Hashes for sat_toolkit-0.4.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c5f27d8645d35f0b4af7122062ebf7a89e9ad6b5dbc4d2b5396d96242670416f |
|
MD5 | d0fd3fe6b43e2142603b5b39299a0f07 |
|
BLAKE2b-256 | 2dc0d503486444b998eed4ea228d637fabc5d74d13236b704dca667397d91699 |
Close
Hashes for sat_toolkit-0.4.7-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 510d4db3c03b02fd86be1b93648cc2e92df4d5a80800445a21721e6751090f7d |
|
MD5 | 77504525334b36422093e18e3766d896 |
|
BLAKE2b-256 | e340019885f7836fe74b84d98e94d9934c532f420fbd341fac309a794f4c0a56 |
Close
Hashes for sat_toolkit-0.4.7-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 99fee335508fb5147384d5f91a9ac0801010ca37c95f59c29389a3a7dc94095c |
|
MD5 | 7a83cb6d925ca4df6b5daa4bd385c607 |
|
BLAKE2b-256 | 990e75b7183bf1188d66cebc88fb9297363e7c5ed08c898d2603c89dde7dfe24 |
Close
Hashes for sat_toolkit-0.4.7-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5d7a347678402a896ead9eb2523d3ceff649ff0f64e18b00914bac7276b9261e |
|
MD5 | 89f89b96dac6348f5bbe267f030d6180 |
|
BLAKE2b-256 | 2a280c4daaf9369faa2378b5c7ae9baee8d29a5a0391d4130699709f10051576 |
Close
Hashes for sat_toolkit-0.4.7-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | afa8789daa41dfa573db6cc4ab804ee0673dea112806fa480a8b294556fabc85 |
|
MD5 | b68d6ef08985ef9b10f26e831591557e |
|
BLAKE2b-256 | fa36329b0ecd2beb8b4fafa2079d3419864836fbf7a405da00a848d83a44d19c |
Close
Hashes for sat_toolkit-0.4.7-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 32a1178c5d1df1a3f340b7475ce92da64e9e45762d1630f75c9814c1b635b131 |
|
MD5 | e342cc1412714c781c2fa0663a34c975 |
|
BLAKE2b-256 | b6e97153f4c5bbc288c0fbb59f646de5384cf68d2e4228607601677734b4dd87 |
Close
Hashes for sat_toolkit-0.4.7-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 949712073a9f45bb086cec6a10a605a9fe62476402467cfb392aa02b05c59749 |
|
MD5 | 2512b78c2c3a7e1f8d299b22369f812b |
|
BLAKE2b-256 | 4d655caa4fb3f7d27c3d5d27f2c3c9b125cee7ae4d46c1dc6f9bff2246f6871c |
Close
Hashes for sat_toolkit-0.4.7-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9341b1012d414b0c80b7d77faca587bd6c8f3cfad2157518e9a09d2610484f9a |
|
MD5 | c57ff1ef812887ea4ffc5d59d2211e4f |
|
BLAKE2b-256 | e0d7767ee3bc24a72eb2cdefeccab8fb96af1fa4f0422cb5a862f97538d2cd60 |
Close
Hashes for sat_toolkit-0.4.7-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ec0394289cbc6498b1767043772b18a392fa76375a6a064efa86a83f9123de3 |
|
MD5 | 47855eefa9fbcaaa977e9dd35cdb0d6b |
|
BLAKE2b-256 | 6f84ed3f2ce685d15c498487495539ab32d8919736a8f7c6edad8e2cb8fa6f26 |
Close
Hashes for sat_toolkit-0.4.7-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 63c09ebd486ca1a872b91ff307e8e59ec2dcff5e52145880c72bd969a1db903e |
|
MD5 | d0c2393c5243c08654227593559f10c6 |
|
BLAKE2b-256 | 2a36c6209751941d684de6b99e48b08da3336f65ae1753c77d458f3c88e195d2 |