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.3.tar.gz
(365.7 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.4.3-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 75906a03263426129c331a56baa05f3c9dc60bdeb3af959f4178647308d6f1ea |
|
MD5 | c02e50321d7bf01ce884c42511a8be08 |
|
BLAKE2b-256 | 7376165af52d4f550137b8cdc8dfbbfe9d282b77ddece0a06e394a4673e45c0f |
Close
Hashes for sat_toolkit-0.4.3-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 38046261093dac749ff8c2d9c245307589927cef993e41c9785e7c219cb81267 |
|
MD5 | a42e13604626a755aeff9e22e5cb4435 |
|
BLAKE2b-256 | eff69f8096b480ea5dc5143e29660584ce83b2ef473ff92f9cc221b5955f7cf1 |
Close
Hashes for sat_toolkit-0.4.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2802e3c87078225d56c07b8480f3763ec5f6f38ac0b7ff43fca73ebbe35a94b2 |
|
MD5 | c60ecc5b18746a9e4d0a91bbd4944315 |
|
BLAKE2b-256 | 4d6ed640ae9765fafcf9b01a663b205ddddd290a1e046329359dddbd3bea35da |
Close
Hashes for sat_toolkit-0.4.3-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 32c5b57fc2fabf9dfa57c20945add3f0db6187377f6c2c7867e0efe4a223c1c5 |
|
MD5 | 17aa8ad23fed7f7198cf0a557d3cab2f |
|
BLAKE2b-256 | 045d314d68197c97fcd2608e60c8fc302b108032f47222ee04b963bc62904f60 |
Close
Hashes for sat_toolkit-0.4.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0051a29a684c3979d97e0fd274576d4fbae5348eaac7ef8b0aeeeb5af4f88d99 |
|
MD5 | 75960b87bc9c94b28ca1b9e41cef47a5 |
|
BLAKE2b-256 | 66dec10b8a824375ac05060468c0e238835662ad8c897d9f3423d7cf52f77fe8 |
Close
Hashes for sat_toolkit-0.4.3-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cb77adfdaf4d26de1fd07f325cdf4e930adf3933cdf6835b8484745c8933766f |
|
MD5 | 8e44d1f54fadbd531b2b78dcc658bcf3 |
|
BLAKE2b-256 | 47e1a3a4c4ace8db31d7c6b45b2c2fb925f45f90a71e9f0a1762a668940dd206 |
Close
Hashes for sat_toolkit-0.4.3-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c48e10c802f796d44499f8a56ac0cc8a865b0c698b2c2075bbc5d46e9547554f |
|
MD5 | ea1b92501668075841946a40950acfd7 |
|
BLAKE2b-256 | ee83f9d85ec0a5c5771df858f326402c3405648b78f88e9ac61959749fcd294b |
Close
Hashes for sat_toolkit-0.4.3-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4948be1f4134064001f8d03c31df3dd8ded66bb1ef166bd02cd35fe8352b7792 |
|
MD5 | 94a72ca90a249831f1d5d8cdf91ce5fa |
|
BLAKE2b-256 | 121ec291f179314ec9df7f51333bc88f42750b09003e37888dee345891cfbc85 |
Close
Hashes for sat_toolkit-0.4.3-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aaab9759abb3349ca640bf13554ab43a1feac4fc45ec2e01d2219b20aeda870e |
|
MD5 | fb64aab7b62321e31314b1c15d0568c5 |
|
BLAKE2b-256 | 508fa64d6a737d21ff40d3090d78a6d4851cb0b4189ee067271aa5e2e947f51c |
Close
Hashes for sat_toolkit-0.4.3-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1c48301ceb92b8ee69d99d342b1721da7d40e0a552397da47b11006b51e1e090 |
|
MD5 | c7512110458d96bb2653f95a0cae31df |
|
BLAKE2b-256 | 431014d726dcde6552ab5b46ac3be4c62abd8e46e5e4a083675d39c63f513ac5 |
Close
Hashes for sat_toolkit-0.4.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 93f1b424fbeb3b4d63b881f225aff8d7f70096d1e1ee388f59bf9a773ac73c28 |
|
MD5 | 2a2936afbb920eba092e8b70310c4f32 |
|
BLAKE2b-256 | 840603208b75244b0bf1e2c5758c47424b7efaf8558cc499246b5ce0f0ad388d |
Close
Hashes for sat_toolkit-0.4.3-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0fd0d22eea55b645fb4a21b1851b8d7c4347cf6c2619185b9386a22d0a7b884e |
|
MD5 | 6f62667a699f40ec180a9da293a70b6f |
|
BLAKE2b-256 | b4bf559fa3bf0bf2332b0fca69e0760d9ae67a21d67276fb1fe5fecd009163ab |
Close
Hashes for sat_toolkit-0.4.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f70020a83f1750abf6c5ca4af761f0f2cb654df16df3e4a5ac1063e6068e336a |
|
MD5 | c111dd90a0bc2e51ac0bc5350c50f9b6 |
|
BLAKE2b-256 | 26ae059be29bdb240e2f70a3b82b3ce050cad5757915e9811a86433d5fff2c61 |
Close
Hashes for sat_toolkit-0.4.3-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0135897073f62f581928014484096c07223c21c8937d44ab2fb58a146b45d3ff |
|
MD5 | b815a7a8022edf5e7c9a92d8f544941b |
|
BLAKE2b-256 | 8878b67b9285991df2138124073540eed940b3e67ea5a10c3ca2d2a13a15f5b6 |
Close
Hashes for sat_toolkit-0.4.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 29e731e1f461990c1a8f7e9c3098f942f626c326f61fdbccd8c9d22f6ecb7907 |
|
MD5 | f1b47f1b56693f3ad413e67691a7e89f |
|
BLAKE2b-256 | 136e16b643edde1f6f3c442b3bc954b1d24567450b2cc45271f352a8b701fdb2 |
Close
Hashes for sat_toolkit-0.4.3-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f3987a621201ae64e9c0b06fc81bd9858c215c8d5eefe35a7631bb72ad43124b |
|
MD5 | 4f4bcaa2dce3700c1d14ae3f1b18942a |
|
BLAKE2b-256 | bb9c672ed2c00182cd007acc2b426327c1fb88bd15db00dec03c0638587d0d05 |
Close
Hashes for sat_toolkit-0.4.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 690956f2692eac9cc9c03a2448d58f932024e0bb34d9d232745a56464ebc1d37 |
|
MD5 | ef3b7249fbbd61c9487f896afd8caa04 |
|
BLAKE2b-256 | 7cd8957aa4eb1d52ead56614162435e56e6417c6d60bbf57d31669db7e8f61b6 |
Close
Hashes for sat_toolkit-0.4.3-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bdf228d91886ecd1fc0292c2d3ad85efdbdfe6582a523566ce4ca8ae4fc42493 |
|
MD5 | d6dd8c82733bbe150ab90292eda391fe |
|
BLAKE2b-256 | e4f7fcd553fefc5489768afc71a3450b56ebf8569157ad550712cc190e90a4fa |