Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.3% dependent packages on proxy.golang.org
Top 0.6% dependent repos on proxy.golang.org
Top 5.6% forks on proxy.golang.org
Top 2.1% docker downloads on proxy.golang.org
proxy.golang.org : github.com/go-air/gini
Package gini provides a fast SAT solver. Package gini contains both libraries and commands. The libraries include The commands include
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/go-air/gini
Keywords: artificial-intelligence, boolean-formulas, circuit-sat, concurrent, dependencies, fuzzing, logic-circuit, logic-programming, resolution, sat-solver, testing, verification
License: MIT
Latest release: over 2 years ago
First release: about 6 years ago
Namespace: github.com/go-air
Dependent packages: 19
Dependent repositories: 85
Stars: 141 on GitHub
Forks: 15 on GitHub
Docker dependents: 1
Docker downloads: 8
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/go-air
Last synced: 24 days ago