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.1.tar.gz
(361.9 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.1-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fc3df7c6c5fa39f31ff60b5db8ed6747ca359bc93497ae1b7944bf247d8f53de |
|
MD5 | 65b99f0eff0b93ae7744d2dc64002b11 |
|
BLAKE2b-256 | cae0044d5e54cbee9c633d86307cbc49cbf87b448c4d2029b31207207bd74fb6 |
Close
Hashes for sat_toolkit-0.4.1-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6669975d3d3fcc3feb5615f1ad859843c3c7400531e1863ef9730bd543e3ad1b |
|
MD5 | 928b8234afb687d23b8f557d9521416c |
|
BLAKE2b-256 | 4e2416e8f23bdc7632cf305667f26ee4681b63acdefde3552bdd05f36e3780e9 |
Close
Hashes for sat_toolkit-0.4.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a10fa27f7c06c0b0050539d731ee6ba5aa7f468a10964063368258ca49281639 |
|
MD5 | d6d0678301a4fbd2c981f4c9a51df7ff |
|
BLAKE2b-256 | 08ae607951962e732a679c5a1b02f2e45945bbe6142d12db3c59c1c9c1a93f92 |
Close
Hashes for sat_toolkit-0.4.1-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b54095f99c647facb0f099931e937280b0c0f5434c4eecb97c7547b6402b8f9e |
|
MD5 | b092f2c8a36bb6bcf96e3fbb010a0c6d |
|
BLAKE2b-256 | 844e73b0d6635e45533f76a282ef6221ed4836270e8442d6204f178ebd215fb2 |
Close
Hashes for sat_toolkit-0.4.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0cc53a4575638c380d8708ef86cb8f403d66e2dae1e8e8cbd3e1a6d945b11153 |
|
MD5 | 8f8a7777a38ea21cc61cd3c4227aeb44 |
|
BLAKE2b-256 | 4308975aaf0c05d55f209c574a788ae9d697d71c1f515920734462c1f9fd1d2c |
Close
Hashes for sat_toolkit-0.4.1-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ca22e847739911063f20ac563b72507c46487337c493b017485227c7cc16b600 |
|
MD5 | afa00ad4dc49a573f2e3abec13635951 |
|
BLAKE2b-256 | 052638f5ca128fad40560d90819bffefcdac40816f2812f021ea2c529bbcdffa |
Close
Hashes for sat_toolkit-0.4.1-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 071f352be99061ee9f2280519ac4db4698d8bb88ddc51dafb1eae0a4aa1cc8df |
|
MD5 | a89ba1007446793300b09569c6d2ad76 |
|
BLAKE2b-256 | 2050baf55de755a9c145b5740a201817c0eb10c3e90d24b7ec62b90a3dd2a900 |
Close
Hashes for sat_toolkit-0.4.1-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2925768ce8374eed1dd92fd378cad173cf1236bd5b6c3c4552abb15527b4c2cc |
|
MD5 | 51cff0776cbcbb33dcabf22e6b910246 |
|
BLAKE2b-256 | b5ccee6ef24affbf26012fbbc04f8a4f6850acef083e65d0730b7a1f7463cd2b |
Close
Hashes for sat_toolkit-0.4.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9c128cd748e2118553cb669a2278e6e70ce67991accad09f70364859c580f35f |
|
MD5 | 5009528aae3a11154228a81d53ea6779 |
|
BLAKE2b-256 | 9e3310b46220c839fc2704678950b7b2560ba173510aa2f5b104b0dd24213746 |
Close
Hashes for sat_toolkit-0.4.1-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 26a323a2dd0454c1591679bfc315a46b0e3f41f4b2aaace11d918c63255f0c02 |
|
MD5 | 3c5fbcfc59a1006a9c6cf1c0e40bf3ef |
|
BLAKE2b-256 | 893080d7c583db047f086204cc223373e743c0d1d762711980012ec86986a856 |
Close
Hashes for sat_toolkit-0.4.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 10564ff06a1d2ad290cb755550f8920b77da5257ccb2217f12300463764b97ab |
|
MD5 | be08bec3546afa0d6ee8be3fe00ce556 |
|
BLAKE2b-256 | ade361fe879c5a8fe3487c2a6cc3d638b9c23f976e75d380459062090a012c52 |
Close
Hashes for sat_toolkit-0.4.1-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f2de917195e0ba99e7c265c53d610abbc03fb2668a9e3072e4170a18f3a1812b |
|
MD5 | 7825ec4897d0ff40eac190cc2b430a3d |
|
BLAKE2b-256 | 10ab9b4d7bae49d96eed3025aa71cc81fbab02d43ce4c2c28b827a290fbe37a4 |
Close
Hashes for sat_toolkit-0.4.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 83e90702300bbc5df3a3bfcc63c67e0434d27fd8a6869ea044c491fc6ea12537 |
|
MD5 | 7e963c2ada43c805db7e6a8e00ba3fbb |
|
BLAKE2b-256 | 0313848991afd4430d04156c307eb48f7f7b6b18c602592b78cd088f0bb8d9c6 |
Close
Hashes for sat_toolkit-0.4.1-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b41a162deb25ff7adcda85912509a464fb48ea03091789a2ad2745912f09fe9f |
|
MD5 | 0ed7f0e17c7ab0545986b08795078278 |
|
BLAKE2b-256 | 33d4a1521f545a3d20bfe00ee07d3ab784194263af6de843aa2451cb81d472ed |
Close
Hashes for sat_toolkit-0.4.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6687aa2255e2336c707c892f46b4bc33a2735aba4396bc455a62504c9839b067 |
|
MD5 | 7599a9c0ec7721087f4fb1461b54839e |
|
BLAKE2b-256 | a71d6ece74248ca9e14ed2ce53d989decd559bbd246d31387b403e3730f91384 |
Close
Hashes for sat_toolkit-0.4.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 19cf5eb80f022e408db0bf059f7f1e3eae6cb7a4bedbffe9644a1b012565e6d1 |
|
MD5 | 6b4be31d6b36bf6dc2263cfd16e8da99 |
|
BLAKE2b-256 | 912143daa6bea38a54923da15ca9804023258963494318c292cafdcb7a6f9230 |
Close
Hashes for sat_toolkit-0.4.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 851f011abfc058f96e55cb590706bea8f1d58792aaeeb93132423e1ea91a4077 |
|
MD5 | e2d0846ef38df993578de3660f1593fd |
|
BLAKE2b-256 | fcb6c0b76bf946304b8d8c6f0939f418312d3d20de073b6f13cc683f362d8b04 |
Close
Hashes for sat_toolkit-0.4.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5e4021fa3666ce468f4862db8e227dc7c3c56c518dd3679c1e43194f2652449c |
|
MD5 | ce5f020db471e0af51b9afee8b7cac2e |
|
BLAKE2b-256 | 6daf1f757ec4b3c636ebaa78d0ca96fcb254d938a4cea8392d7164ea473b80e8 |