Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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
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: 6 months ago
First release: over 6 years ago
Namespace: github.com/crillab
Dependent packages: 29
Dependent repositories: 27
Stars: 343 on GitHub
Forks: 25 on GitHub
Docker dependents: 35
Docker downloads: 37,765
See more repository details: repos.ecosyste.ms
Last synced: 24 days ago