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.3.2.tar.gz
(346.0 kB
view hashes)
Built Distributions
Close
Hashes for sat_toolkit-0.3.2-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aaaebee8b46cb9201277d7af2fe37092a7b5e3d1014cfa4501682256dcde8b83 |
|
MD5 | be37915a2c8c107ac2dfef260df3aa76 |
|
BLAKE2b-256 | 25a4fb6e3fd9292b4c2bec6149b487208771bf6378a2fbbb39f4aed0e4f23013 |
Close
Hashes for sat_toolkit-0.3.2-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 057afd64b339cfecca586b33c15bc6a29f29f71afe2b2014f7a8d66ec37c5f6b |
|
MD5 | 48ee4558880dfbb7ce4b5831ad9b1d32 |
|
BLAKE2b-256 | 1c82b00920159f5138379ed530cfcbe4adc1786c148f4dd92727584cef06c582 |
Close
Hashes for sat_toolkit-0.3.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1ac432d5f6731c89f6e8b1141ad1dce6bcacf6e59c2c39b0286bb256ab48c63b |
|
MD5 | f065156c9686c0f77037e942247cad4d |
|
BLAKE2b-256 | 58c6570ca565648fef2141045806f1d4ce994f781acf1f95ed084087af2360c9 |
Close
Hashes for sat_toolkit-0.3.2-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f7bd0185dc66aa6545c1441a7833953fc1323473d0e9b644c8eeab2f41d7b410 |
|
MD5 | fb54811599d8b392e41fcda2f4cc7a7e |
|
BLAKE2b-256 | 5dcf68664d3b7d99315e7e1bda43ce8c62622c2ea85e6dd47fb7aa54f343d4a4 |
Close
Hashes for sat_toolkit-0.3.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 13586515493ae86925c647559d1d82cf5c669f9e428bdec7822c72e8fb586e13 |
|
MD5 | 4a0985a79724e4fd88d098b0df60466e |
|
BLAKE2b-256 | de6cf6b530f4b0e8ca2d779b527276cf70f2148001f54752b564467f12d65719 |
Close
Hashes for sat_toolkit-0.3.2-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 50095b2ac8a9d4b72fc21ce49fb7d3f5786d6084246c18f7a7de935fd98350a6 |
|
MD5 | 2427d173df6986948a2c528fc23ce49d |
|
BLAKE2b-256 | fbac01122fe5f91e1de9bf8b7bc17a3e1964bbeb03e94bcca5409f8c4a06e46c |
Close
Hashes for sat_toolkit-0.3.2-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cf0f96e33e94fc3a2444386a0ffacfb9d1fc7648ce187a13d674c56979eb4239 |
|
MD5 | e7831bb4ba53a2d4cbc2a3b90bfa5256 |
|
BLAKE2b-256 | 4c8f1ef751130f16ef967956447747b730ae0beadeedf937468f8f538379f300 |
Close
Hashes for sat_toolkit-0.3.2-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 874e1ed0c72c1bc7b21b40c22850d1025220a9a6fb804eee9234844993e23551 |
|
MD5 | ac4ae2a7bc70c64726ef291ecdaa4871 |
|
BLAKE2b-256 | 50259bd4d2fab8f5f993bca954e14b77d181870e45feddd3e384e9f23be23ac4 |
Close
Hashes for sat_toolkit-0.3.2-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c3192cfb99982a3743eb262231bc81c7c25090f16681ce6eecbe41298032c177 |
|
MD5 | a945bae3905455e8d43bc3df7825a65b |
|
BLAKE2b-256 | a46f7d0bfd7ac080389a7aa6e6dfea233d7aa092b21e4d4fe437671f06f2bfcc |
Close
Hashes for sat_toolkit-0.3.2-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fbcb385aed15a299c46e1e033e190fd3523440e601e882fee9d9e8f729db0c44 |
|
MD5 | eccbf542d83dedc657c6e5631fb9ecf4 |
|
BLAKE2b-256 | 53dc4f07ff3f17434173197220424014062979728531ad31e11d3f6a4af28292 |
Close
Hashes for sat_toolkit-0.3.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cb451111966bfd1f95ea5af7effd876b2d56ba8e530ef346a316fc87d23eda30 |
|
MD5 | 35b6bd69066b433e4693198cdac5ced7 |
|
BLAKE2b-256 | 8d1ef2eb573be9e14e23d5e272a9c10efedd996b0fb05b0e407aa835acf59313 |
Close
Hashes for sat_toolkit-0.3.2-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e15a81b6cbb9b59b0712fcd97a708abcc5616b0e9467cc20492fe4304fa09d7f |
|
MD5 | e91c361d1d12bd1a6dc04bad1a0a27eb |
|
BLAKE2b-256 | 64308daeaed76a01a311f25b98d84ecdf49be40aed8c134586109225e1e75377 |
Close
Hashes for sat_toolkit-0.3.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4f453f35031d0114a74a67e73c23a2a09c483b2d6c9c01df4f8d747159d62e7a |
|
MD5 | 78316bb188233340a4ba1ef71af1564d |
|
BLAKE2b-256 | c147fb4fb19b5ff95cdaf9594544b21d9767bee0978686420a64e2cfd35db9d1 |
Close
Hashes for sat_toolkit-0.3.2-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1b140e9177b5316d1769a7b5bca4267ca9951f59714eb3dcccdbb846016cbe41 |
|
MD5 | af22b9aaff926e0fe86ca21d90a13145 |
|
BLAKE2b-256 | ebfd5e079cefbcfd2b88abea090af6dfa0a9a6328bf1bf83bfb23679368aaa5d |
Close
Hashes for sat_toolkit-0.3.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 81284411fad768410617544e8ad590668465b35c5ab589312ed75c4be289269e |
|
MD5 | b38782cb3727ded4c6c34a8db79f197e |
|
BLAKE2b-256 | f349e93465f57c28fa0f5b5f3075c0310fe34fc259fe23adccbbd3914b90e3a3 |
Close
Hashes for sat_toolkit-0.3.2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 966982230fec5054f65c76e7dfde428062533f1096c02a74c920f3527e507801 |
|
MD5 | 714b02eb7d832ea1c3cdbadb39863ea3 |
|
BLAKE2b-256 | 2ce232f766db9df8c87b27d00f341f38c03b3aeb71e0fc19469246d37dfe21c2 |
Close
Hashes for sat_toolkit-0.3.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4a7a343c448797d14a306d11bd0148b185b02fbc28b6c9cce5b827b5ac1f0fa0 |
|
MD5 | 89f2517791023c6d5ba3c7698c4da891 |
|
BLAKE2b-256 | 34a9ffa7d3848d9c4911b90733de893e772ae39114ef5367827d99bad2652554 |
Close
Hashes for sat_toolkit-0.3.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d8fb499ded8bc538e9857409e1e87c5b70b116d950566b07ecaa38fc293fc16a |
|
MD5 | 3d7c88b1b1eb37bab0ff9d641f1b2cf9 |
|
BLAKE2b-256 | 16f51e2b460ddaed88f852b4012804300892e29cc4fdcc2d746a98e9ce0ee1b5 |