GitHub repository: noqcks/solver
Description: SAT solver library in Go; wraps around Google's Operational Research Tools