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.4.tar.gz
(366.6 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.4-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fe32b7038b23cd231aef32a2698a648d405541c65863807761b69ba8c8062ad9 |
|
MD5 | 629b85ff3de05e2b642f7708d16cda64 |
|
BLAKE2b-256 | 07c397abe254061326b113dbec316513718560b13cac525dafc919b9a55325e7 |
Close
Hashes for sat_toolkit-0.4.4-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dc1709faac6db07d143c57fd90c7c0c7eaa716eb78a754ef66b6dfdee1a92042 |
|
MD5 | 16adae5419480ba2ebc8989ab8363132 |
|
BLAKE2b-256 | 468adac3680f5e6eecc5003dfbb5ad93428ae0c5f8ffd20eeb4813b9e403ef6f |
Close
Hashes for sat_toolkit-0.4.4-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ca8376c5c049bf795453e8821a2c023bf8a858deaa9465c95c8851b1975f78b0 |
|
MD5 | fcb2c28f664b67823091053314547f22 |
|
BLAKE2b-256 | 574f41d4e4f8f22cf5beda0f878d44e25c497ba8ece173c2a426f01864295bf7 |
Close
Hashes for sat_toolkit-0.4.4-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c371b1d44a06b7ad98ee63933e6f82bd98035084a9d94df483b8612f6f7beb42 |
|
MD5 | 616eec3c1a2b10160cd9ab2a29c4eb47 |
|
BLAKE2b-256 | b65d6a21c4c32f8ebcaf970bf902c28cba62f79419df2c55adeb98be83f5e9ad |
Close
Hashes for sat_toolkit-0.4.4-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b276ef4efd5b141e4d0b31f4fa7c3b96418080dd2c0de8a84d01a12d22646ed7 |
|
MD5 | 7a6a6bb399cadf500781707fbafe4186 |
|
BLAKE2b-256 | 1f947b77152d720bc6961300a948c98178d7b60f328448d959382b1cec50a03d |
Close
Hashes for sat_toolkit-0.4.4-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 580b01c3dc715110dbbc378deff4e26819ca29b5b2aba2a77fe742e14d6774a6 |
|
MD5 | 61682aa9772ae62c2841f9c7bcc0076d |
|
BLAKE2b-256 | f9baceb16f68af56154c4e87a48443cf72225adc5f8e6fdfa02028ef0db5cd31 |
Close
Hashes for sat_toolkit-0.4.4-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b60b49c6b30c36c39454ac86426e7f7e21ca84ad0e247452f837403743017be8 |
|
MD5 | aa4d61a3c11c0828534e5d93d5f517de |
|
BLAKE2b-256 | 4abb20b11a83785dced6288a5728cf0fa05c3d477cc2620af01b413f875bc89b |
Close
Hashes for sat_toolkit-0.4.4-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0427ce634fed0d728dac44a21358d10b5442b82e28c8d020a02d56c4fd88bddd |
|
MD5 | bf730b6d998162e0b0e72c4a01ca4f81 |
|
BLAKE2b-256 | 150ae69575fcd25b02c1f574d923f7ba06c526ce4bb09f3634ec31b4f0500533 |
Close
Hashes for sat_toolkit-0.4.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 777cca0405b786a984ac7ee636ade5ae20cfb139ba1cbe9b15e711cf1637ac61 |
|
MD5 | bc8fdd64f2f3611f972953fa87367b18 |
|
BLAKE2b-256 | 51e0b365c270bbeb2f988284d64f87c7c0da3833c169b3fcac1e54682d5966c8 |
Close
Hashes for sat_toolkit-0.4.4-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b4f7e4e0935b8801f5ac753cc03ba0dd44805e6a67f19432474d058c57148c46 |
|
MD5 | 4ead7d3fe6b65a0e6bf33a82b2b40d6d |
|
BLAKE2b-256 | 14e903df33e53d9534246048bdc96996f3cb99db528093b1fba1e89ea0969d26 |
Close
Hashes for sat_toolkit-0.4.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8b65d4bdaa1dbc2e265c82ea7d2fd3f39d4d69b49e76ded1544a0a0e6d759da8 |
|
MD5 | 08bffa41940cb361970a9a5defd647e5 |
|
BLAKE2b-256 | 6d1ca78749dedef3dd6352143a3760d7696c3e2a32e36ef987516a6c0fabf76f |
Close
Hashes for sat_toolkit-0.4.4-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f83491652f6c2f4d29a10cdc132f6e85a4f520c32eb010d16419de1afcf23989 |
|
MD5 | 40d9e0c6fe22c194b6ad3f66464066eb |
|
BLAKE2b-256 | 13451ab067821a2fdc7c17d9185b6bc241bb58a1fd0200adc580e20e8bad623a |
Close
Hashes for sat_toolkit-0.4.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9e4f962db1a56b644dea18713c4c18dde31c32808668a72c3412adbe0c80a93f |
|
MD5 | f2ce4f523c8c979be5888b20532509c6 |
|
BLAKE2b-256 | 5e1c303afabc4411bcaed943ee843aef470203a4cd5a8dae560db4c2d274f399 |
Close
Hashes for sat_toolkit-0.4.4-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d7debd32531feedb0ac42ebf9367f0679706418293114cd92497dcbb63ff3768 |
|
MD5 | b44787f823fe26d86f24524dca9fabdd |
|
BLAKE2b-256 | 112c2f60d2b05e1481f95369bf890e1fc21583eb57d66c68bba755434b930271 |
Close
Hashes for sat_toolkit-0.4.4-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4f64bb01dbb594329219ba496bd8170b04ac765f82134d35281e1e93e1c5fcf0 |
|
MD5 | a3a933286f1e29222e8115d37f2b9f22 |
|
BLAKE2b-256 | 9a32150f879390705253309543ccf5e46da6331c50dde9b28418223b7ecab493 |
Close
Hashes for sat_toolkit-0.4.4-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2dd6f8744092ceccfca0331bcec4ee2cfc3b2800138c3c1d9c9a5eaacce591aa |
|
MD5 | 2ad22d09cc6efa8315e2028bc7f7a814 |
|
BLAKE2b-256 | 8475008c1b98690cfad3e73d6fd970f3250175554f873f06a7bfa8ad9a04d0b5 |
Close
Hashes for sat_toolkit-0.4.4-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0891736f7157e583f89dce6fac521962bd9d9e8ab509d0aaca0626dc5135ff53 |
|
MD5 | dd9e6f4d637864b113d0b1f10c506528 |
|
BLAKE2b-256 | ec2e5ed0673e5ccba956a4f9fef8987e087bccc495250349f9213b2859158c86 |
Close
Hashes for sat_toolkit-0.4.4-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 678e4101bd724b5b6735aa8572bedd70155eb2d7257f7be97da9b583370bd924 |
|
MD5 | 7325148e0e487ce97662fa98aa2793c4 |
|
BLAKE2b-256 | fa4fff1906ccadc93291d03c18a43dc9d30a3705b823abd2fc9c8d3032f58b9a |