GitHub repository: styczynski/go-sat-solver
Primary language: Go
Description: SAT solver written in Go (based on Minisat)