This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

These details have not been verified by PyPI

Project links

Source Code

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Project description

Python API for RustSAT

This is the Python API for RustSAT. Currently this API is very minimal and not the focus of this project. For now, only the API of certain encodings is available.

Installation

The Python bindings can be installed from PyPI.

Documentation

Documentation for this API can be found here.

Project details

These details have not been verified by PyPI

Project links

Source Code

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

This version

0.5.0

Apr 30, 2024

0.4.3

Feb 23, 2024

0.4.2

Jan 11, 2024

0.4.1

Jan 11, 2024

0.4.0

Dec 18, 2023

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

rustsat-0.5.0.tar.gz (6.4 MB view hashes)

Uploaded Apr 30, 2024 Source

Built Distributions

rustsat-0.5.0-cp37-abi3-win_amd64.whl (224.7 kB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ Windows x86-64

rustsat-0.5.0-cp37-abi3-win32.whl (213.7 kB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ Windows x86

rustsat-0.5.0-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.1 MB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ manylinux: glibc 2.17+ x86-64

rustsat-0.5.0-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl (1.3 MB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ manylinux: glibc 2.17+ s390x

rustsat-0.5.0-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (1.3 MB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ manylinux: glibc 2.17+ ppc64le

rustsat-0.5.0-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.1 MB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ manylinux: glibc 2.17+ ARMv7l

rustsat-0.5.0-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.1 MB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ manylinux: glibc 2.17+ ARM64

rustsat-0.5.0-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl (1.2 MB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ manylinux: glibc 2.5+ i686

rustsat-0.5.0-cp37-abi3-macosx_11_0_arm64.whl (332.1 kB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ macOS 11.0+ ARM64

rustsat-0.5.0-cp37-abi3-macosx_10_12_x86_64.whl (339.2 kB view hashes)

Uploaded Apr 30, 2024 CPython 3.7+ macOS 10.12+ x86-64

Hashes for rustsat-0.5.0.tar.gz

Hashes for rustsat-0.5.0.tar.gz
Algorithm	Hash digest
SHA256	`6aaecdd9c4d2951ea870784cc3473c30ac7a510dbe44a97b4ef12440ab57a0ce`
MD5	`7903aec43b9c4413603ee47efda46c0a`
BLAKE2b-256	`338b2ca36b6a3649ed630a060c4d23c27fab6a44671a3664ae3e80fbd6b88eea`

Hashes for rustsat-0.5.0-cp37-abi3-win_amd64.whl

Hashes for rustsat-0.5.0-cp37-abi3-win_amd64.whl
Algorithm	Hash digest
SHA256	`18ec51e020cdc6da85766373ae0bd915aeca2a1c5f0523d6cdfb03341f8d03c3`
MD5	`b67c8b9b03e68f2d5ddbb9a029455093`
BLAKE2b-256	`7138231f5342a247fd14aacd382f8d0c6dae479aa18327a78c791b6cfe8736bb`

Hashes for rustsat-0.5.0-cp37-abi3-win32.whl

Hashes for rustsat-0.5.0-cp37-abi3-win32.whl
Algorithm	Hash digest
SHA256	`fc367ada4ca0416caf965fed44ada377604779fdef12733fd229e0995f9d2331`
MD5	`f62ed133149cb4216824d8463f9daa88`
BLAKE2b-256	`32d059988b01305d2901fbbada9e14c05c9f8cc23ae3fe2bd77e87cfc697338b`

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`8d2e1efad5549c883f5334876cbed2e735637165efc9d8073a8d7a635193e969`
MD5	`be0fdf394cbda0f08d2d0d67907877ae`
BLAKE2b-256	`ffada40253bb49185159856193e90884f536116594dd6b87c80dbc717909424f`

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl
Algorithm	Hash digest
SHA256	`45ab80c2d89d814ed76a26d66d0b3dd21b2d588af977f9f04079f1e2a1e58ad1`
MD5	`cb8d3d4b97baf2a8c938face79c436a6`
BLAKE2b-256	`2df77f47183204fc23476c11107a6f0560307d10ff02324aa44bd5bf6cec64af`

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm	Hash digest
SHA256	`50c1558b962f17bc3424852b474ece1f65bb427c2dba098099603e02826f2354`
MD5	`f81108a6903862eb31e1c5cf88e3a151`
BLAKE2b-256	`3fded792eabcc02b337fb190c290dc62968ebbe553843aa488f7c77e59d0a65a`

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm	Hash digest
SHA256	`59d62444e5444002a0381087ff53c7738aa76f7e7f41da7a57531bc8c4580fa0`
MD5	`29412bc077c4330b87b22abbf4ea7883`
BLAKE2b-256	`4f8c47bff871ddfcbbdcb5b2e63ad2e324b778d995e5e2b5c121e20855fd7392`

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`cc6ba344ca63dd7cb53a47c6ad05d77f83b7ec861bdfc4054f2897e801eea12d`
MD5	`fb76bff3aaec6fe8d73505e635cb5864`
BLAKE2b-256	`a348c60fe1eb2044adb1a9d3464b55fb0d26db6b1e3dfb3733e6602d7e9f3fd4`

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl

Hashes for rustsat-0.5.0-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`6e66430b8f4b1777cbe9556cedcf36448dfeaea300d6f45b8d1fcb035d358500`
MD5	`dc90ab42677bb5ac3b33dd32cfbe0470`
BLAKE2b-256	`f3938cf95ea3128b639e57862ab5bc6f36ac19b0a2c0b1bc86b80e27add5b07a`

Hashes for rustsat-0.5.0-cp37-abi3-macosx_11_0_arm64.whl

Hashes for rustsat-0.5.0-cp37-abi3-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`77498efd4a6c189867c080c9848d3a007d344f282d4a0030f93fd1fa7d32edba`
MD5	`614979d59fcbb77e6ef55210b94322f3`
BLAKE2b-256	`3038de5fce2df5c80230ef5715ecb69fd63dac15d9a99c778ed3f1a1f70c6f0b`

Hashes for rustsat-0.5.0-cp37-abi3-macosx_10_12_x86_64.whl

Hashes for rustsat-0.5.0-cp37-abi3-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`0a666665c7ae3c65edbdc603293b4c43b42c5039a8f3238aa0907cac7f0926c5`
MD5	`2e47bdaa073362c456699fe7a3872d6b`
BLAKE2b-256	`c010ac20d093086e2552e5bfe9961d90b494535da9ae656a4385648d29344d12`