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.6.tar.gz
(368.4 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.6-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9ef1ffbfe4d11828f5b0544edee3eee0fca1a14d7ac9e4ea675dd6c95e83eea2 |
|
MD5 | 59fb9affc2b3e45f1b61c4b53b8c149b |
|
BLAKE2b-256 | db6e9c40393d49208896663166d2c2d3bda853e14c72fd8fbe7505822374294a |
Close
Hashes for sat_toolkit-0.4.6-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fed0bb53f80afd6a4a2c2f32914a5e4edc15ce56dd6d6fc9ea21dd742cdae287 |
|
MD5 | 18ebc67881e1e9ff7ae25bb50b329bb0 |
|
BLAKE2b-256 | ad530b85d5f26886991b83ce4cde66e190c920274f13ea4b57d429ff548297ae |
Close
Hashes for sat_toolkit-0.4.6-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3bb44e5dba2b9ac15009ee44c178a464070a65c79acb4b04dab371b97fa6aa57 |
|
MD5 | 34a3e80101f5e2a5d7b666a6ee126f06 |
|
BLAKE2b-256 | 1b042793821ef03c5912d483ebd56b14c5e707808ff24901fd5dfa8e7abf0c33 |
Close
Hashes for sat_toolkit-0.4.6-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 51fdb9cf6d23ecbd431eeceeb1adfcb63c2b62df5b093cd5427d31fbee6608b2 |
|
MD5 | fef110fcc942b5e1b60b213e615f0842 |
|
BLAKE2b-256 | ed59c8c722548d7219061be746c4fc0edfec19fa825cc7da7931fa9da5cef72b |
Close
Hashes for sat_toolkit-0.4.6-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3c62baec193a1b2f929554aa44a52c8834f797873168e56ca5b52520fd8d0a03 |
|
MD5 | 7aa155ffa890c5ec57258e742229558a |
|
BLAKE2b-256 | 9f8d42fcb34c60f93aa90148043e1a91d692e018ca443797fc2ca650af32b1cd |
Close
Hashes for sat_toolkit-0.4.6-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e27181b56036bcf12ced0ab5b9853b2238344cb669e3225208d59782aa56c1f6 |
|
MD5 | 8a3953459fd273ec7dc4112a77bf6cac |
|
BLAKE2b-256 | 636f34abc9751de99a65641cd1bab0e697c85c87b1a44ea26f7d776c8dd1c485 |
Close
Hashes for sat_toolkit-0.4.6-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | faee84a6ccbd36b371766bcd16a0d8caed69ad1281a9dde3ce9fc60199667ec3 |
|
MD5 | a2293fd94b6f206250e4c8afdab8438a |
|
BLAKE2b-256 | c7d9955473fbc7bc6ffa0d34991a97784cc46064500f891d0c49046934ca0137 |
Close
Hashes for sat_toolkit-0.4.6-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ab728328b958721b29b26351a331af120ad144efeb4cf6fa218fec1e28f4c9a0 |
|
MD5 | 5e5e3a61b8d5129f99dc759b30497d1f |
|
BLAKE2b-256 | 7c91b0a7ef4421d537011bd728fa85f50e2c66138584b1da56a12ba37becadbd |
Close
Hashes for sat_toolkit-0.4.6-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 57829559289bbaa8ca40e46d7a83f68918403c4be73dd0b8d5d6c564bf00c321 |
|
MD5 | 26b40529615cef80e53d98f6c984f7c7 |
|
BLAKE2b-256 | 0c232aa30d478d7078dcca20aba814eb14027b80ef58f52af6e2e97f890811fe |
Close
Hashes for sat_toolkit-0.4.6-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cacaa48b40e9ce33a0ad57d06a76aeec06e7f6b5b15d3bffcd0c3d0ffd7859bf |
|
MD5 | 3c3cb1443784a8470943075e7d4e683e |
|
BLAKE2b-256 | b7f3f78bb94248b9bf3df7ac7a75b10d1644273511f8d8bc3cc8b09e3261e944 |
Close
Hashes for sat_toolkit-0.4.6-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ced487d3c1bdabb62fcf7af9caeb198241c45b6f340a4e5237e6b01fbfba183 |
|
MD5 | d775fbbf97370e407ae12a6802f9f3e3 |
|
BLAKE2b-256 | 3c00f5fde35ccd6e1812686ad21134ec3bb5d1a6e44910be939f4d080d5a5587 |
Close
Hashes for sat_toolkit-0.4.6-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4e8efc1b1f41964fb3d247af79ff122ac42ae03fcc371dc488f40ba9d2633519 |
|
MD5 | 16e29f508616acdaa9db1ea14b042443 |
|
BLAKE2b-256 | 294a8056013f26684155c9c934282d86e5d6bff47716f2ae2b6a1735f7dac54f |
Close
Hashes for sat_toolkit-0.4.6-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a6384e76f6b21891aa57adea52543834b50921c7f306effd9e682baef72c0764 |
|
MD5 | b0f1dea5dabdbf71e010fafc6f45059b |
|
BLAKE2b-256 | 4d181cfd53693b5c7cf794a9d61cea41022378d21ebb88fc25674e38193f9945 |
Close
Hashes for sat_toolkit-0.4.6-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 55cd688aacb20a800ef187c57e18f72f5ea36a35ff77c0290fb9db5d398fd3d6 |
|
MD5 | 58387668698c3c9eee57106d750df436 |
|
BLAKE2b-256 | 982313ca56cacee6aaa87139f02f4460a3030beea3c3c1b652fc316ac4d18e7a |
Close
Hashes for sat_toolkit-0.4.6-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0db3d7b9750c7f0e143f6aa777e9f5f9159fece232e3c0d7349c38a26059b977 |
|
MD5 | 7163de93ee7e849d23b4e88fbffce00e |
|
BLAKE2b-256 | 140d96227bffc01caadc1b963fb1f6982248401b5b4fcf89de3e820ccba910eb |
Close
Hashes for sat_toolkit-0.4.6-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c3849a6f64d2c96d618adc9b9fdfa131e781386b8142c1236dfa98c4540b2c70 |
|
MD5 | 5f732249fcfadb38498b971ad49fa60a |
|
BLAKE2b-256 | 70ec920a459f9cd3b5bc8dedd060cf44fae3f41a1ee20cb3b9be053e354119bc |
Close
Hashes for sat_toolkit-0.4.6-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3ecdf07b3dc5bed26c4d285d5aa56f68abc5d33aefdc76e3c9f9b6e6b6d746a0 |
|
MD5 | f23cd6dbea2a8f5f5fba57fb8d572409 |
|
BLAKE2b-256 | c0bf9ea7f4403179e437dc24cacd8a2e6da5b80bc9633d6a674f5a2606f22d4c |
Close
Hashes for sat_toolkit-0.4.6-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fb90e27321debd6673f6105ac37477b99bdfd2fe72f50880ae37dea14f47cf65 |
|
MD5 | 986b3baea54b5969c66ccbddd26a3738 |
|
BLAKE2b-256 | 97d64a6701115b6bd0258a1ec17b20728a8f5946462c9e874f5367303ea9b3f4 |