Gophersat is an efficient SAT and pseudo-boolean solver written purely in Go, developed by the CRIL...