A DPLL based SAT solver written in Go