GitHub repository: wkschwartz/pigosat
Primary language: C
Description: Go (golang) bindings for Picosat, the satisfiability solver