A Go implementation of the WalkSAT algorithm