kopptr/sharpSAT
The #SAT solver sharpSAT
weighted model counter 2006 version
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
The #SAT solver sharpSAT
Jamie Davis and Tim Kopp's job scheduling utility. Allows you to convert a set of nodes into a rudimentary cluster
A Go implementation of the WalkSAT algorithm
Public repository.