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.0.tar.gz
(337.2 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.3.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8303062d786a39a4c00872dd27909f385f2be230e43cd9407b6befb99898266a |
|
MD5 | 005f6dbb479e99f2e7e9d304c669fa6f |
|
BLAKE2b-256 | 147b07931dcfdcb508507d64ec6781cfd25fcba4d3baca505751690ab6ee2e44 |
Close
Hashes for sat_toolkit-0.3.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c5d4318676e2816b422ed22d69d855ba12ffffa8e752a81c4e1ab0e280251d49 |
|
MD5 | 32ae6ec7412194f3b881306d51719849 |
|
BLAKE2b-256 | 893e04a1f64ab3ff6f9ef3ee233750da39b138efdd02660177e900fbf7f434c6 |
Close
Hashes for sat_toolkit-0.3.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6cbd53fb11f575991f08cc56ac2985761a61a7a57da3b6ba90da949fce9c476d |
|
MD5 | 4d349fda2cdeba378f1c2ea5e0d89cdc |
|
BLAKE2b-256 | dcba6fa031326695e72788d4474f574151a412772c21a87850877438fa414e52 |
Close
Hashes for sat_toolkit-0.3.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2d20ac751ba5c2b0425d935a9f9db09f40619eeb271814a0fff17466d32b69a9 |
|
MD5 | 5cc4fde680bb95124f443be64e4bcbad |
|
BLAKE2b-256 | abfd0088629aa453c09998e910514905cafb9254d7a77fa2d644df1484f5287d |
Close
Hashes for sat_toolkit-0.3.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cf939bac5174b00b85a96600358091faa15fea54e0089e31525b84672ecb2d20 |
|
MD5 | 503ab148ed34085b1a7b2f4d447e4359 |
|
BLAKE2b-256 | b54c4d5a1ff5eaeb497d19f96abc68036d89608320b2571ab253bf1680e7d3b4 |
Close
Hashes for sat_toolkit-0.3.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 86f6a9adeef8b89a8c06f6af7eae93705a8dff267429bb3e6cd278b424ee06e0 |
|
MD5 | 71e73924c716b0a582e2bc03efa77c49 |
|
BLAKE2b-256 | 2382ef7296dca58895f9d68ef4e03a7c125e3f5ac7b4ba678f6e34e14280b7a0 |
Close
Hashes for sat_toolkit-0.3.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b9e1c4e2b33c13039063853c61f4319f0b4cb83cb4e78b5fb2d83f78dcc75883 |
|
MD5 | b69f86b464e619ade3e3f38c65119cb2 |
|
BLAKE2b-256 | fe12bd32e231f865377026d8d0d44d41e79519abe04a0c7e9379167971033781 |
Close
Hashes for sat_toolkit-0.3.0-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 90ee54ae3e13f20a7d52fb885bcaf41fd3e3abc14000d6e28b4b503737520df8 |
|
MD5 | 259533289c134f5c1015b4cc8f3dc5bf |
|
BLAKE2b-256 | 03a54f59bd044fd3c31589b93a36a8287d0656d8ede680379814308f030555a7 |
Close
Hashes for sat_toolkit-0.3.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b759f4d3c1d7b65198c3d696296767847a29feb43013c37d847a6c590b7bd15e |
|
MD5 | 48eb86b7b5ce327c7bbf126de3996d40 |
|
BLAKE2b-256 | a111230829c594c8294d934d6d6e00231bc3d90e730100913854c54f480f5572 |
Close
Hashes for sat_toolkit-0.3.0-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bb79169b1f63277b48a59fce334932122879a34bffec8712cc6952170b17f0c4 |
|
MD5 | 080bb5d2a8cfad932e7751cd9f0b655b |
|
BLAKE2b-256 | 748718261eb4748c467219bbdeb48668b942078dd4301b7fb4547ca84725a453 |
Close
Hashes for sat_toolkit-0.3.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9f74d3b2c7fe8ec46deec539640665d104ce59a6d0e615c8e51fe7126a9cfb1f |
|
MD5 | 94c79861c7f152dd814002f6138229ed |
|
BLAKE2b-256 | 1e4baaa74a4baadaa213dd6092171d11bb7bce11925308ecd8f5f56e5bd338ed |
Close
Hashes for sat_toolkit-0.3.0-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 61ed66bad861bbf0748f1f9d764a3a672a059655f34686de0a5cab52b2e78e35 |
|
MD5 | 16db1590df084ead6da2f1a5311cfb62 |
|
BLAKE2b-256 | 7ad1986d6d84f3cbfc0acdde6b53c1ab6f4a1a3b91ba6272cfd0950697cfd653 |
Close
Hashes for sat_toolkit-0.3.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 227759eb5fa386603c872acd78866c9d371b8f837a427d483ece8fcb11627413 |
|
MD5 | ca330f34af043cfeaaee4532369af8a1 |
|
BLAKE2b-256 | ec741506ecd88af5b66d97f2fcc40d728ead6bb06343fece77ec098c32a99886 |
Close
Hashes for sat_toolkit-0.3.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ee96b19baeab2a3507ab253282f4ffee7106544738874ee9d2ed6ca957d14b75 |
|
MD5 | 56e07ab67ce4839f275cda0309a49034 |
|
BLAKE2b-256 | 284236ea9aebf0d6278d31d704a785785557ba4a22c6289338f5397049c4e0c8 |
Close
Hashes for sat_toolkit-0.3.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e32615cf978342ceb2fe790cc9d2e8bc8adc321dc6c21bf4ba11add6dd1bb499 |
|
MD5 | 4bfc8711dba57bf2e0c10b96de3935eb |
|
BLAKE2b-256 | 04de189b91f46eb75ee7fe1bbe8e0c8b30c16484e82981cb340a03a774615940 |
Close
Hashes for sat_toolkit-0.3.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fa05bb3e734d15d530743e7c53eb80b231b196c2a6f603deb2bda77c117fca5c |
|
MD5 | c9e831e2b4b07e7e6c29340d921ba2a9 |
|
BLAKE2b-256 | e1e83419296b17572b48493be4292416ca09e52e030da511947c2fab5df26c8f |
Close
Hashes for sat_toolkit-0.3.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8394eaed9d0cde4ac76c19c69bc4a94e70ed2ad305b856d4e76d6064ed979dc1 |
|
MD5 | e10641d8f8a02546dd11f7897e00a9d4 |
|
BLAKE2b-256 | 179a1f8c649a2bc2f06ee50281e8a83a37cbbb8b4aab7c87b085dfa6a9b6f466 |
Close
Hashes for sat_toolkit-0.3.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6322e018d335e51c14d2c902fa55f644b61261a9faef3b89a3498628d66b861d |
|
MD5 | d5769071d6d0167f2dca05a7bd5a29cf |
|
BLAKE2b-256 | 68140109ebe27350a6b907be5b622c5a593697859794cc796b9da572f5d117bc |