Ecosyste.ms: Packages

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

proxy.golang.org "picosat" keyword

Top 8.2% on proxy.golang.org

github.com/wkschwartz/pigosat v1.0.0

Package pigosat is a Go binding for the PicoSAT satisfiability solver. A satisfiability (SAT) so...
6 versions - Latest release: almost 7 years ago - 15 stars on GitHub

Related Keywords

c 1 golang 1 np-complete 1 np-hard 1 optimization 1 optimizer 1 satisfiability-solver 1 satsolver 1