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.2.tar.gz
(300.9 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.2.2-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fee3c3bd1c0d15a33014ba2d233bca137e59ab9ac1d7d60ecfeba720cdfcf12f |
|
MD5 | 629c7739b84b119b2355b7c4d863a2d6 |
|
BLAKE2b-256 | be1f64f51b33027ac2f499ac1adbc39795a2f387d2644c404f0f3be049007a24 |
Close
Hashes for sat_toolkit-0.2.2-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6947873d45b1aa4075b01097c839fc7bd1e3d01d1f30a49ffa63a2be69d11211 |
|
MD5 | ac1d936451b77c7b3c91dfe3ea3c7fa3 |
|
BLAKE2b-256 | fe3d296403fe1dc32260c8eebe896d0bd1c68e287f48c4e215926075dca27583 |
Close
Hashes for sat_toolkit-0.2.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c308872983fafe8dfa0bb9246340ea92567fba27e2c468184390df5ce6ba27e0 |
|
MD5 | 4d3dfd873ebb79d68dea8b46738c1e76 |
|
BLAKE2b-256 | c3bdf47f2d6dd8b6e7707075e6365d8860784ce105d421b69dccccaffec87361 |
Close
Hashes for sat_toolkit-0.2.2-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 989810c95fd2b9a572fac4df342955969faa9a0e89620b81f90bebbe86c7fb37 |
|
MD5 | ef8f537e73251c3ec3b1d51f78330fd5 |
|
BLAKE2b-256 | 419f8ca65ff423bf5eb82125b100a39fc626303901a69f3576e93e30584be0c1 |
Close
Hashes for sat_toolkit-0.2.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 994873ba5352ad58f203fc994e0475f3774833a66d7c9db0a5f49b6b14ff2c1a |
|
MD5 | 609a15294a1f087c2c2b58db4feb9c1b |
|
BLAKE2b-256 | 42d6423443ba40a699faaaa39b2b3d435434bde00e1d06099104c6a6f7c000e5 |
Close
Hashes for sat_toolkit-0.2.2-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4fe62333ee7650474093bdcd3871740bc8fda89d4db61e1c236e7e02b0fadc29 |
|
MD5 | ebfbb9d4f0befa2ab02a784047f5aef1 |
|
BLAKE2b-256 | 398dbb5a4f4af032a11b8c6fd29bcb60a98876918a53be7b6a3f46108323c51d |
Close
Hashes for sat_toolkit-0.2.2-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 43a05ae1ecd05fbac661cf12aecb4efa9f5f34a794405aa0d3e23ac956e7a1c1 |
|
MD5 | e390b7ea08d8ec244f55ae933fbe3b2c |
|
BLAKE2b-256 | da0544922132eb5c5b1ab538363f0a5911fba1880563d16c5ba85eb504cc0008 |
Close
Hashes for sat_toolkit-0.2.2-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1b2cd21dcd6d5a1afeae437c8a9ee4941061cacfd323d3edd18e764419ee0de6 |
|
MD5 | 988e0838114a1f2ebf19338453226dad |
|
BLAKE2b-256 | 97dfb77209f4e28756297322a178aec3701fa980e4e76a891b8453863b9f928b |
Close
Hashes for sat_toolkit-0.2.2-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0ae2619c5b1859bc99f76cdb1a89a13d12756e8e2a6d0d4fbb78f22128ede34a |
|
MD5 | 1686513cd8cf558c4ce111b9463eaa28 |
|
BLAKE2b-256 | 723e39de3cfb59548589f911532b6b2ef339461e247ec8b1db8af91297d2ba74 |
Close
Hashes for sat_toolkit-0.2.2-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5bc81f6309d7cc9838c1ed7dde68689b5ac698c8bc8af2c418d6d18085ec4e3f |
|
MD5 | 6481d1b981179f3c24758f923759a481 |
|
BLAKE2b-256 | f947f66105e7591c15a6cf304bdfdb51cfc1cd89165fb5fd7a73d6aeb87ec6b0 |
Close
Hashes for sat_toolkit-0.2.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2f296b4c4567b3d05e0d815c4aaa2c59799a52edee2a081945ef6a4faf8a121f |
|
MD5 | 1f5b55f0b22e091e1534d05ef702a990 |
|
BLAKE2b-256 | 0a36a0d2ed978e2a45acfb89088db75d1ea6b2b28069f977f76a1a7b4911a64b |
Close
Hashes for sat_toolkit-0.2.2-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 75a27c27ba0b7f8018f7cf7ebba20e42beeb35a3eb8d2446e1cfb63f6fe836aa |
|
MD5 | eae12088ce2aa61241e2bc553d0b7dbd |
|
BLAKE2b-256 | 0f925ba34ebace14f72f3d6ad0f81248f10d34abb0910b664bf41a14b96ab7b4 |
Close
Hashes for sat_toolkit-0.2.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 73cf05ea3afc586bbe01ffa806af946213c32eda657a6b2600b6d086b95955aa |
|
MD5 | a24f6739f35feb5ef657e1f59688758b |
|
BLAKE2b-256 | 459da616fadfa45e4352dbd2985c2fd337caa48d57e160c2099361baf2e40985 |
Close
Hashes for sat_toolkit-0.2.2-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 139350fd2739b55b34ad0687ed0510550bb677751810c10cea1f348ac291d4e1 |
|
MD5 | ab709cfa03e7c19d322543a7d5e3ba49 |
|
BLAKE2b-256 | 695fac91d99d94d62b8459c7a3e6d1a8d73bb338c3f4bc27d49a577b12317ec7 |
Close
Hashes for sat_toolkit-0.2.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9db28cbc27681a97d6ab682de766c8cad4fbbdd7812e6ab1f752850f64727237 |
|
MD5 | b4b2c34ecd754c14ad9256108e83f6ba |
|
BLAKE2b-256 | c0f035555f67203ca6dc9704d74ad47f351097dd7b2d1fadd75939b21d2aac05 |
Close
Hashes for sat_toolkit-0.2.2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d1ce3c324677ec66e5f1729b79279eb948046b6e7d0f367d8d7d84aacc25ecf9 |
|
MD5 | 0628dcd8823cc8ffc83510b36e788b6b |
|
BLAKE2b-256 | 91a1a0ea43e78d1d7a742a31dabadc143659c49789eb20194b29d2d1824b26cf |
Close
Hashes for sat_toolkit-0.2.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | af3cf5353baaaabf57d15585c5dda1426cf610202eac89d9af825bb342d7cb89 |
|
MD5 | 8c33323953ea29864ede65b04e82d120 |
|
BLAKE2b-256 | b20bfdd054efd42d75d251b8806abd695a9dc4cc9741d15d3e1c58016d71145e |
Close
Hashes for sat_toolkit-0.2.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7c55aa5cfbbee5db07c1e6d49b32c7d00fe28b8063327b4782d590b538fd0075 |
|
MD5 | c31b5919dbdaac4ef9179e89b8f2e743 |
|
BLAKE2b-256 | be7fd1269bef08c0c28cd4ff1a82f97d378f16d01b492ccff8b7a4df63bc46fa |