Skip to main content

str8ts solver using z3

Project description

str8ts_solver

PyPI version Quality Gate Status codecov CodeFactor Codacy Badge OpenSSF Scorecard

Str8ts solver using z3.

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

str8ts_solver-0.1.3.tar.gz (4.8 kB view details)

Uploaded Source

Built Distribution

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

str8ts_solver-0.1.3-py3-none-any.whl (4.9 kB view details)

Uploaded Python 3

File details

Details for the file str8ts_solver-0.1.3.tar.gz.

File metadata

  • Download URL: str8ts_solver-0.1.3.tar.gz
  • Upload date:
  • Size: 4.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: uv/0.9.18 {"installer":{"name":"uv","version":"0.9.18","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}

File hashes

Hashes for str8ts_solver-0.1.3.tar.gz
Algorithm Hash digest
SHA256 43e82df767b43da8c10fe9562bd21c2690e8d59e372b1051713b0c00d7890591
MD5 3188deb66296f0878598eb7a794e1f3a
BLAKE2b-256 14afb95366be9d862eaba6f98858b6fdfc02052e85a9a0ea123096927bab8ed1

See more details on using hashes here.

File details

Details for the file str8ts_solver-0.1.3-py3-none-any.whl.

File metadata

  • Download URL: str8ts_solver-0.1.3-py3-none-any.whl
  • Upload date:
  • Size: 4.9 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: uv/0.9.18 {"installer":{"name":"uv","version":"0.9.18","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}

File hashes

Hashes for str8ts_solver-0.1.3-py3-none-any.whl
Algorithm Hash digest
SHA256 e2d9180f5cc80dc989e89a95d07f9e02a1ef2e8668466bb79b408a410f272816
MD5 51cea4f8274cd942111bcb15f7b950fa
BLAKE2b-256 2992da4eb616814a9b4c3bf8e04a9359c1baf324cfbbf709f15b4637d00392f2

See more details on using hashes here.

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