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 "pseudo-boolean-solver" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "pseudo-boolean-solver" keyword.

Top 2.1% on proxy.golang.org
github.com/crillab/gophersat v1.4.0
gophersat, a SAT solver in Go
17 versions - Latest release: almost 2 years ago - 29 dependent packages - 27 dependent repositories - 382 stars on GitHub
Related Keywords
artificial-intelligence 1 boolean-formulas 1 constraint-satisfaction-problem 1 constraints 1 sat-solver 1