Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "logic-circuit" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "logic-circuit" keyword.

Top 2.7% on proxy.golang.org
github.com/go-air/gini v1.0.4 💰
Package gini provides a fast SAT solver. Package gini contains both libraries and commands. The...
25 versions - Latest release: about 4 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
Related Keywords
artificial-intelligence 1 boolean-formulas 1 circuit-sat 1 concurrent 1 dependencies 1 fuzzing 1 logic-programming 1 resolution 1 sat-solver 1 testing 1 verification 1