GitHub repository: mitchellh/go-sat
Primary language: Go
Description: SAT solver written in Go (golang).