Tool for manipulating CNF formulas

Navigation

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for fanosta from gravatar.com fanosta

Unverified details

These details have not been verified by PyPI
Meta
Classifiers
Report project as malware

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

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for fanosta from gravatar.com fanosta

Unverified details

These details have not been verified by PyPI
Meta
Classifiers

Release history Release notifications | RSS feed

0.6.2

This version

0.6.1

0.5.0

0.4.7

0.4.6

0.4.5

0.4.4

0.4.3

0.4.2

0.4.1

0.4.0

0.3.5

0.3.4

0.3.3

0.3.2

0.3.1

0.3.0

0.2.3

0.2.2

0.2.1

0.2.0

0.1.2

0.1.1

0.1

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.6.1.tar.gz (26.3 kB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

sat_toolkit-0.6.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.0 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

sat_toolkit-0.6.1-cp312-cp312-macosx_11_0_arm64.whl (630.1 kB view details)

Uploaded CPython 3.12macOS 11.0+ ARM64

sat_toolkit-0.6.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

sat_toolkit-0.6.1-cp311-cp311-macosx_11_0_arm64.whl (628.4 kB view details)

Uploaded CPython 3.11macOS 11.0+ ARM64

sat_toolkit-0.6.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.6 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

sat_toolkit-0.6.1-cp310-cp310-macosx_11_0_arm64.whl (259.3 kB view details)

Uploaded CPython 3.10macOS 11.0+ ARM64

sat_toolkit-0.6.1-cp310-cp310-macosx_10_9_x86_64.whl (275.0 kB view details)

Uploaded CPython 3.10macOS 10.9+ x86-64

File details

Details for the file sat_toolkit-0.6.1.tar.gz.

File metadata

  • Download URL: sat_toolkit-0.6.1.tar.gz
  • Upload date:
  • Size: 26.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for sat_toolkit-0.6.1.tar.gz
Algorithm Hash digest
SHA256 4ac6887523d3e264f72f1c94604ff729cb196730f54e0cd96e71b92c97ad6838
MD5 e8d0b1280f1014e8eaa14bf11092e27c
BLAKE2b-256 39c74587541cd0cddaef02f98f0ef5991eab1c3c0ee0e952d543a001591719de

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1.tar.gz:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file sat_toolkit-0.6.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for sat_toolkit-0.6.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5f8a81f954b56f5f541866c95a384ee62983a4374d800f72633d7ad9ba7ad01b
MD5 8cfa5b84cf8c4049e9ac479337f622e2
BLAKE2b-256 481f5fe70c2f6783f2572a3c91c938d24c46ed05010661ffb177eb364d24e918

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file sat_toolkit-0.6.1-cp312-cp312-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for sat_toolkit-0.6.1-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 529229f74b6cebae182a1ea1b89a19a3eb39e5538b15680921cdf6767837145c
MD5 56dbc90d22d83d7080cd43c681050724
BLAKE2b-256 cf734a9ef61c5e5c7e6aee046010471dc0c9e495d773edf5721cd2fed6c5abb2

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1-cp312-cp312-macosx_11_0_arm64.whl:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file sat_toolkit-0.6.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for sat_toolkit-0.6.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9f82aeaaf5c829010e293c71c693e0f7f03ec6871f13eb589babdb2648fcbf76
MD5 898197e7583f9f2f4a878cb3e13d71d9
BLAKE2b-256 d751a56c3fdab5c081969dafd4a9b3a9aa2ec78d80bdee7af67315149b2cb7af

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file sat_toolkit-0.6.1-cp311-cp311-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for sat_toolkit-0.6.1-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 0b9856eb328a39972344d569942edd0b96cf25f7c5005009c4fd3833218bd316
MD5 470329b178364ba5704755f14e848f69
BLAKE2b-256 a4b70bf5c300c0658ce9c7963a5c4bceded1773fd3b61e6caa552cdf0369b2f3

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1-cp311-cp311-macosx_11_0_arm64.whl:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file sat_toolkit-0.6.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for sat_toolkit-0.6.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5c4410165138eb617e5ffd9f50eae5270412a5e46720f8a71de18cdd0f1f7313
MD5 c4da982ed135ee23d4df8efc8a0e9131
BLAKE2b-256 f86090db7bd0e08fd2b5853aa68537e6a8e495d4ebdad3416968a4565c03e50e

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file sat_toolkit-0.6.1-cp310-cp310-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for sat_toolkit-0.6.1-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 0c4c42ef8bbbeff474f0aaaed95c4243f2a10318668822b7372f861371f1ed3e
MD5 626e002700ce26f4763ff89017e52e0a
BLAKE2b-256 3cbde8863976c6ce37e5c50bcb05343a649e4be819814e26fbb217ee5342b891

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1-cp310-cp310-macosx_11_0_arm64.whl:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file sat_toolkit-0.6.1-cp310-cp310-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for sat_toolkit-0.6.1-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 12c90a49a0f2cd213d574f76a267c0346c276e9a7f0dc9708773ab8fe0bb1cf7
MD5 588126b50ec15f197d3246d8306d2580
BLAKE2b-256 580e916c95a0a73debfd9122b21e1ef4e17499742e3c5132fed6be82339db361

See more details on using hashes here.

Provenance

The following attestation bundles were made for sat_toolkit-0.6.1-cp310-cp310-macosx_10_9_x86_64.whl:

Publisher: publish.yml on fanosta/sat_toolkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page