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: about 4 years ago
First release: over 7 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: 3 days ago