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.

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for chrjabs from gravatar.com chrjabs

Unverified details

These details have not been verified by PyPI
Project links
Meta

Project description

Build & Test PyPI License

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

Verified details

These details have been verified by PyPI
Maintainers
Avatar for chrjabs from gravatar.com chrjabs

Unverified details

These details have not been verified by PyPI
Project links
Meta

Release history Release notifications | RSS feed

This version

0.5.1

0.5.0

0.4.3

0.4.2

0.4.1

0.4.0

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.1.tar.gz (6.4 MB view details)

Uploaded Source

Built Distributions

rustsat-0.5.1-cp37-abi3-win_amd64.whl (237.5 kB view details)

Uploaded CPython 3.7+ Windows x86-64

rustsat-0.5.1-cp37-abi3-win32.whl (225.7 kB view details)

Uploaded CPython 3.7+ Windows x86

rustsat-0.5.1-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.1 MB view details)

Uploaded CPython 3.7+ manylinux: glibc 2.17+ x86-64

rustsat-0.5.1-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl (1.3 MB view details)

Uploaded CPython 3.7+ manylinux: glibc 2.17+ s390x

rustsat-0.5.1-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (1.2 MB view details)

Uploaded CPython 3.7+ manylinux: glibc 2.17+ ppc64le

rustsat-0.5.1-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.1 MB view details)

Uploaded CPython 3.7+ manylinux: glibc 2.17+ ARMv7l

rustsat-0.5.1-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.1 MB view details)

Uploaded CPython 3.7+ manylinux: glibc 2.17+ ARM64

rustsat-0.5.1-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl (1.2 MB view details)

Uploaded CPython 3.7+ manylinux: glibc 2.5+ i686

rustsat-0.5.1-cp37-abi3-macosx_11_0_arm64.whl (344.5 kB view details)

Uploaded CPython 3.7+ macOS 11.0+ ARM64

rustsat-0.5.1-cp37-abi3-macosx_10_12_x86_64.whl (355.9 kB view details)

Uploaded CPython 3.7+ macOS 10.12+ x86-64

File details

Details for the file rustsat-0.5.1.tar.gz.

File metadata

  • Download URL: rustsat-0.5.1.tar.gz
  • Upload date:
  • Size: 6.4 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: maturin/1.6.0

File hashes

Hashes for rustsat-0.5.1.tar.gz
Algorithm Hash digest
SHA256 dd3f1217f94d84bdd40708b7cb9924fb7e66d3d683a8ed4a0b758ffcffb3d365
MD5 ebc8a7dfe7c88a7a3519b0e1ac695b81
BLAKE2b-256 8204d4a8825bbcb6070fb7f8eca1d8a61f5bf81dfd54c60131353b07768bb894

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-win_amd64.whl.

File metadata

  • Download URL: rustsat-0.5.1-cp37-abi3-win_amd64.whl
  • Upload date:
  • Size: 237.5 kB
  • Tags: CPython 3.7+, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: maturin/1.6.0

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-win_amd64.whl
Algorithm Hash digest
SHA256 ae4af44dcf8814fca3caf7aebcc320f1ae94b157144e2f2a1ec1ef99ff2bbee9
MD5 b2201c2297531509543b413fcf383954
BLAKE2b-256 09012368fbabcc344f4ceb8cb49b53ea2f03b8e343b2faa2072aaa95aeec9b55

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-win32.whl.

File metadata

  • Download URL: rustsat-0.5.1-cp37-abi3-win32.whl
  • Upload date:
  • Size: 225.7 kB
  • Tags: CPython 3.7+, Windows x86
  • Uploaded using Trusted Publishing? No
  • Uploaded via: maturin/1.6.0

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-win32.whl
Algorithm Hash digest
SHA256 ab55e7eda9450c7c57137122641c2ed4c1c56f29e986c60e80f7f84d05cea29c
MD5 fd3a42291336d3a24f1ac3cdceff7843
BLAKE2b-256 f5bf4c7ac21808c06824e3d4fa565a31d35acaf0d54bfd4426414a85e48ef200

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d0a8a7a1f38c9fc8b04b0e57faa5fead867ac72f8b96b4bc7ddf2cbedba22eeb
MD5 0279a89b8755ffbccdfd1a1e3713eff8
BLAKE2b-256 1a8a10fa93d499bd395279dfa2b8d8e4db834aab8d4a801c843b016ccbd632f2

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl
Algorithm Hash digest
SHA256 4b7a8ff010f3c4f66774bb5537cb98a552769af1dd3d7ae98b432c9956ff96fc
MD5 afc5885df81da483a9852d96329ecf6a
BLAKE2b-256 4d6a098065b8ad1fdb84dda6c833d9a2d3a2d288218e1947303c196f7ab639a1

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 b8f7bf9292b3f1c992f05cfee7f6210f5e0dd445b48132d293eecb21a297d416
MD5 6084fab34baaf7f81335cecc80b1922a
BLAKE2b-256 c4efef88e6402a19c047d66cd5bab1c49c3fd101428fe8f97d85655986e283df

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl
Algorithm Hash digest
SHA256 787cf1571258b5ff888263586df656e0588bbeb9711a5e9db863ffc61399be8e
MD5 11cf56b69f67f0592cb43c548d57ceea
BLAKE2b-256 238fc796d096527a279875912ce39b9babac4a88c51bb87996d3ffc257e1a5e6

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 dbf4e9eb11acee69c96e690de9dd915571aa8e00e82ea0e21a68b830ba745780
MD5 f953e5c2fa8fa846bee503547ebea122
BLAKE2b-256 9972ce19dfe71a810c74e1134edc2a2eea696e95630a059e9b49fbdcf1c4620f

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 128eabe9ab18578f757b2d9c00399b5e5f2b03790ff6dbf78d63d4228f598ecf
MD5 865ce4025a6f995f20563555713cc883
BLAKE2b-256 a408ba89bff28cebd7af61ec92343ed5866b50cce42a6a4fb7115b6cb57aedc8

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ef179f0c46443563bd1d2c957b1c2be5784eddd7095f4d6cad0abce151b270c7
MD5 8eecf05cacdec377d95adaaf709e78a7
BLAKE2b-256 a81c00bc041dc7197edeb7ebe78d98978a87a47d598d2750b05480d0f652ab24

See more details on using hashes here.

File details

Details for the file rustsat-0.5.1-cp37-abi3-macosx_10_12_x86_64.whl.

File metadata

File hashes

Hashes for rustsat-0.5.1-cp37-abi3-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 9be2df9c8878ef1d76ef6fcd2d71c4240c45eac31bdeb564d8bc8216de1e918c
MD5 651d5e47dfeb177588bf6e04b3c0d0a6
BLAKE2b-256 58d466c5e641e16e73166425d2b13a90ab309be6a2effe5c451fcddd6991141f

See more details on using hashes here.

Supported by

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