{"id":41610398,"url":"https://github.com/vil02/str8ts_solver","last_synced_at":"2026-01-24T11:57:02.433Z","repository":{"id":329984363,"uuid":"1121171016","full_name":"vil02/str8ts_solver","owner":"vil02","description":"str8ts solver using z3","archived":false,"fork":false,"pushed_at":"2026-01-13T19:21:05.000Z","size":64,"stargazers_count":0,"open_issues_count":2,"forks_count":0,"subscribers_count":0,"default_branch":"master","last_synced_at":"2026-01-13T21:39:01.219Z","etag":null,"topics":["str8ts","str8ts-solver","z3"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/vil02.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-12-22T14:51:18.000Z","updated_at":"2026-01-13T19:19:57.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/vil02/str8ts_solver","commit_stats":null,"previous_names":["vil02/str8ts_solver"],"tags_count":6,"template":false,"template_full_name":null,"purl":"pkg:github/vil02/str8ts_solver","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vil02%2Fstr8ts_solver","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vil02%2Fstr8ts_solver/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vil02%2Fstr8ts_solver/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vil02%2Fstr8ts_solver/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vil02","download_url":"https://codeload.github.com/vil02/str8ts_solver/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vil02%2Fstr8ts_solver/sbom","scorecard":{"id":1240737,"data":{"date":"2025-12-25T06:49:02Z","repo":{"name":"github.com/vil02/str8ts_solver","commit":"99627580bec0a4e33ac87f5c966f4062fde3dcc6"},"scorecard":{"version":"v5.3.0","commit":"c22063e786c11f9dd714d777a687ff7c4599b600"},"score":6.4,"checks":[{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#binary-artifacts"}},{"name":"Code-Review","score":0,"reason":"Found 0/13 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#code-review"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#dangerous-workflow"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":10,"reason":"GitHub workflow tokens follow principle of least privilege","details":["Info: topLevel 'contents' permission set to 'read': .github/workflows/all_url_check.yml:14","Info: topLevel 'contents' permission set to 'read': .github/workflows/create_tag.yml:11","Info: topLevel 'contents' permission set to 'read': .github/workflows/publish.yml:11","Info: topLevel 'contents' permission set to 'read': .github/workflows/python_test.yml:12","Info: topLevel 'contents' permission set to 'read': .github/workflows/scorecard.yml:13","Info: topLevel 'contents' permission set to 'read': .github/workflows/third_party_checks.yml:12","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#token-permissions"}},{"name":"Maintained","score":0,"reason":"project was created within the last 90 days. Please review its contents carefully","details":["Warn: Repository was created within the last 90 days."],"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#maintained"}},{"name":"Dependency-Update-Tool","score":10,"reason":"update tool detected","details":["Info: detected update tool: Dependabot: .github/dependabot.yml:1"],"documentation":{"short":"Determines if the project uses a dependency update tool.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#dependency-update-tool"}},{"name":"Pinned-Dependencies","score":10,"reason":"all dependencies are pinned","details":["Info:   9 out of   9 GitHub-owned GitHubAction dependencies pinned","Info:  10 out of  10 third-party GitHubAction dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#pinned-dependencies"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#security-policy"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#cii-best-practices"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#vulnerabilities"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: MIT License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#license"}},{"name":"SAST","score":7,"reason":"SAST tool is not run on all commits -- score normalized to 7","details":["Warn: 10 commits out of 13 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#sast"}},{"name":"Contributors","score":3,"reason":"project has 1 contributing companies or organizations -- score normalized to 3","details":["Info: found contributions from: TheAlgorithms"],"documentation":{"short":"Determines if the project has a set of contributors from multiple organizations (e.g., companies).","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#contributors"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#fuzzing"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#branch-protection"}},{"name":"CI-Tests","score":10,"reason":"13 out of 13 merged PRs checked by a CI test -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project runs tests before pull requests are merged.","url":"https://github.com/ossf/scorecard/blob/c22063e786c11f9dd714d777a687ff7c4599b600/docs/checks.md#ci-tests"}}]},"last_synced_at":"2025-12-25T15:37:59.336Z","repository_id":329984363,"created_at":"2025-12-25T15:37:59.337Z","updated_at":"2025-12-25T15:37:59.337Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28727143,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-24T10:24:43.181Z","status":"ssl_error","status_checked_at":"2026-01-24T10:24:36.112Z","response_time":89,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["str8ts","str8ts-solver","z3"],"created_at":"2026-01-24T11:57:01.744Z","updated_at":"2026-01-24T11:57:02.422Z","avatar_url":"https://github.com/vil02.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# About `str8ts_solver`\n\n[![PyPI version](https://badge.fury.io/py/str8ts_solver.svg)](https://pypi.org/project/str8ts_solver/)\n[![Quality Gate Status](https://sonarcloud.io/api/project_badges/measure?project=vil02_str8ts_solver\u0026metric=alert_status)](https://sonarcloud.io/summary/new_code?id=vil02_str8ts_solver)\n[![codecov](https://codecov.io/gh/vil02/str8ts_solver/graph/badge.svg?token=SWO6HG0D91)](https://codecov.io/gh/vil02/str8ts_solver)\n[![CodeFactor](https://www.codefactor.io/repository/github/vil02/str8ts_solver/badge)](https://www.codefactor.io/repository/github/vil02/str8ts_solver)\n[![Codacy Badge](https://app.codacy.com/project/badge/Grade/446f49b571ab4797a29039fbb8a6bfbe)](https://app.codacy.com/gh/vil02/str8ts_solver/dashboard?utm_source=gh\u0026utm_medium=referral\u0026utm_content=\u0026utm_campaign=Badge_grade)\n[![OpenSSF Scorecard](https://api.securityscorecards.dev/projects/github.com/vil02/str8ts_solver/badge)](https://securityscorecards.dev/viewer/?uri=github.com/vil02/str8ts_solver)\n\n[Str8ts](https://en.wikipedia.org/wiki/Str8ts) solver using [z3](https://github.com/Z3Prover/z3).\n\n## Getting started\n\nThis package is available at [PyPI](https://pypi.org/project/str8ts_solver/).\nIt can be installed using the command\n\n```shell\npip install str8ts_solver\n```\nThe [`examples`](./examples) directory contains scripts showing basic usage of this package.\n\n## Information for developers\n\nThis project is setup using [`uv`](https://docs.astral.sh/uv/).\nIn order to create a _development environment_,\nafter cloning this repository, run the command like:\n\n```shell\nuv pip install --editable .\n```\n\n[`tests`](./tests) are expressed using [`pytest`](https://docs.pytest.org/).\n\n## References\n\n- [Str8ts](https://www.str8ts.com/)\n- [Z3 Theorem Prover](https://en.wikipedia.org/wiki/Z3_Theorem_Prover)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvil02%2Fstr8ts_solver","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fvil02%2Fstr8ts_solver","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvil02%2Fstr8ts_solver/lists"}