GitHub repository: togatoga/gatosat
Primary language: Go
Created: 2018-01-20T09:17:45Z
Description: A cdcl SAT solver written in Golang(Go).