Top 1.0% dependent packages on proxy.golang.org
Top 1.1% dependent repos on proxy.golang.org
Top 4.6% forks on proxy.golang.org
Top 0.9% docker downloads on proxy.golang.org
proxy.golang.org : github.com/crillab/gophersat
gophersat, a SAT solver in Go
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/crillab/gophersat
Keywords:
artificial-intelligence
, boolean-formulas
, constraint-satisfaction-problem
, constraints
, pseudo-boolean-solver
, sat-solver
License: MIT
Latest release: about 2 years ago
First release: almost 8 years ago
Namespace: github.com/crillab
Dependent packages: 29
Dependent repositories: 27
Stars: 382 on GitHub
Forks: 23 on GitHub
Docker dependents: 35
Docker downloads: 37,904
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago