msakai/probSAT
The probSAT SAT Solver
The original code from the DeepMind article + my tweaks
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
The probSAT SAT Solver
http://a-terada.github.com/lamp/
Pseudo boolean optimization problems converted from MINLPLIB2
An HTTP client engine, intended as a base layer for more user-friendly packages.