Skip to main content

Simple SAT solvers for use in Enstaller

Project description

UNKNOWN

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

simplesat-0.8.0.tar.gz (206.4 kB view details)

Uploaded Source

Built Distribution

simplesat-0.8.0-py2.py3-none-any.whl (245.6 kB view details)

Uploaded Python 2 Python 3

File details

Details for the file simplesat-0.8.0.tar.gz.

File metadata

  • Download URL: simplesat-0.8.0.tar.gz
  • Upload date:
  • Size: 206.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for simplesat-0.8.0.tar.gz
Algorithm Hash digest
SHA256 23332f8689b2214383564606155bf28d9875b3d28ef98cfc2965d57e693d60c1
MD5 47d8bf95fcef0a4526f786b0d76d162e
BLAKE2b-256 5649728b13eebc8e8d62468db1b2df8916751db34710f851bb6d85df0f6c254f

See more details on using hashes here.

File details

Details for the file simplesat-0.8.0-py2.py3-none-any.whl.

File metadata

File hashes

Hashes for simplesat-0.8.0-py2.py3-none-any.whl
Algorithm Hash digest
SHA256 ecec0c7ba3d8ca776dc705db3f93100c9da0058842bc623ef9739cfc44b9be38
MD5 4ebbbe985307f57ad5f8f352d6411896
BLAKE2b-256 0c1010ab93105c11efbbe6b4d5f98a8cbe020ee8ce7fcf08e84839fcf17aba45

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