GitHub repository: yberman/go-sat
Primary language: Go
Description: Simple SAT Solver written in Go