{"id":38172787,"url":"https://github.com/go-air/gini","last_synced_at":"2026-01-16T23:28:52.767Z","repository":{"id":47486759,"uuid":"64034957","full_name":"go-air/gini","owner":"go-air","description":"A fast SAT solver","archived":false,"fork":false,"pushed_at":"2021-08-26T22:27:22.000Z","size":597,"stargazers_count":148,"open_issues_count":4,"forks_count":16,"subscribers_count":12,"default_branch":"master","last_synced_at":"2024-06-18T14:15:30.993Z","etag":null,"topics":["artificial-intelligence","boolean-formulas","circuit-sat","concurrent","dependencies","fuzzing","logic-circuit","logic-programming","resolution","sat-solver","testing","verification"],"latest_commit_sha":null,"homepage":"","language":"Go","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/go-air.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":".github/FUNDING.yml","license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null},"funding":{"github":["go-air"]}},"created_at":"2016-07-23T20:30:18.000Z","updated_at":"2024-05-02T23:11:51.000Z","dependencies_parsed_at":"2022-09-16T01:34:47.269Z","dependency_job_id":null,"html_url":"https://github.com/go-air/gini","commit_stats":null,"previous_names":[],"tags_count":26,"template":false,"template_full_name":null,"purl":"pkg:github/go-air/gini","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/go-air%2Fgini","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/go-air%2Fgini/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/go-air%2Fgini/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/go-air%2Fgini/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/go-air","download_url":"https://codeload.github.com/go-air/gini/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/go-air%2Fgini/sbom","scorecard":{"id":431386,"data":{"date":"2025-08-11","repo":{"name":"github.com/go-air/gini","commit":"7aed76bfd77fb2e84a145453b1097f6179acc6e6"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.8,"checks":[{"name":"Code-Review","score":0,"reason":"Found 0/30 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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/go.yml:1","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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"SAST","score":0,"reason":"no SAST tool detected","details":["Warn: no pull requests merged into dev branch"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/go.yml:14: update your workflow using https://app.stepsecurity.io/secureworkflow/go-air/gini/go.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/go.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/go-air/gini/go.yml/master?enable=pin","Info:   0 out of   2 GitHub-owned 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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"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/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}}]},"last_synced_at":"2025-08-19T03:26:06.397Z","repository_id":47486759,"created_at":"2025-08-19T03:26:06.398Z","updated_at":"2025-08-19T03:26:06.398Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28487586,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-16T22:54:02.790Z","status":"ssl_error","status_checked_at":"2026-01-16T22:50:10.344Z","response_time":107,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: 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":["artificial-intelligence","boolean-formulas","circuit-sat","concurrent","dependencies","fuzzing","logic-circuit","logic-programming","resolution","sat-solver","testing","verification"],"created_at":"2026-01-16T23:28:52.685Z","updated_at":"2026-01-16T23:28:52.759Z","avatar_url":"https://github.com/go-air.png","language":"Go","funding_links":["https://github.com/sponsors/go-air"],"categories":[],"sub_categories":[],"readme":"# ⊧ Gini: A fast SAT solver.\n\nThe Gini sat solver is a fast, clean SAT solver written in Go. It is to our knowledge\nthe first ever performant pure-Go SAT solver made available.\n\n\n[![GoDoc](https://godoc.org/github.com/go-air/gini?status.svg)](https://godoc.org/github.com/go-air/gini)\n\n[Google Group](https://groups.google.com/d/forum/ginisat) \n\nThis solver is fully open source, originally developped at IRI France.\n\n## Build/Install\n\nFor the impatient:\n\n    go install github.com/go-air/gini/...@latest\n\nI recommend however building the package github.com/go-air/gini/internal/xo with bounds checking\nturned off.  This package is all about anything-goes performance and is the workhorse behind most of\nthe gini sat solver.  It is also extensively tested and well benchmarked, so it should not pose any\nsafety threat to client code.  This makes a signficant speed difference (maybe 10%) on long running\nproblems.\n\n## The SAT problem in 5 minutes\n\n[The SAT Problem](docs/satprob.md)\n\n## Usage\n\nOur [user guide](docs/manual.md) shows how to solve SAT problems, circuits, do Boolean optimisation,\nuse concurrency, using our distributed CRISP protocol, and more.\n\n\n## Citing Gini\n\nZenodo DOI based citations and download:\n[![DOI](https://zenodo.org/badge/64034957.svg)](https://zenodo.org/badge/latestdoi/64034957)\n\nBibText:\n```\n@misc{scott_cotton_2019_2553490,\n  author       = {Scott  Cotton},\n  title        = {go-air/gini: Sapeur},\n  month        = jan,\n  year         = 2019,\n  doi          = {10.5281/zenodo.2553490},\n  url          = {https://doi.org/10.5281/zenodo.2553490}\n}\n```\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgo-air%2Fgini","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgo-air%2Fgini","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgo-air%2Fgini/lists"}