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.
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
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)
Built Distributions
rustsat-0.5.0-cp37-abi3-win_amd64.whl
(224.7 kB
view hashes)
rustsat-0.5.0-cp37-abi3-win32.whl
(213.7 kB
view hashes)
Close
Hashes for rustsat-0.5.0-cp37-abi3-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 18ec51e020cdc6da85766373ae0bd915aeca2a1c5f0523d6cdfb03341f8d03c3 |
|
MD5 | b67c8b9b03e68f2d5ddbb9a029455093 |
|
BLAKE2b-256 | 7138231f5342a247fd14aacd382f8d0c6dae479aa18327a78c791b6cfe8736bb |
Close
Hashes for rustsat-0.5.0-cp37-abi3-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fc367ada4ca0416caf965fed44ada377604779fdef12733fd229e0995f9d2331 |
|
MD5 | f62ed133149cb4216824d8463f9daa88 |
|
BLAKE2b-256 | 32d059988b01305d2901fbbada9e14c05c9f8cc23ae3fe2bd77e87cfc697338b |
Close
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 |
Close
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 |
Close
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 |
Close
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 |
Close
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 |
Close
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 |
Close
Hashes for rustsat-0.5.0-cp37-abi3-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 77498efd4a6c189867c080c9848d3a007d344f282d4a0030f93fd1fa7d32edba |
|
MD5 | 614979d59fcbb77e6ef55210b94322f3 |
|
BLAKE2b-256 | 3038de5fce2df5c80230ef5715ecb69fd63dac15d9a99c778ed3f1a1f70c6f0b |
Close
Hashes for rustsat-0.5.0-cp37-abi3-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0a666665c7ae3c65edbdc603293b4c43b42c5039a8f3238aa0907cac7f0926c5 |
|
MD5 | 2e47bdaa073362c456699fe7a3872d6b |
|
BLAKE2b-256 | c010ac20d093086e2552e5bfe9961d90b494535da9ae656a4385648d29344d12 |