Imports github.com/crillab/gophersat/solver Standard library imports fmt io math sort strconv strings go/token text/scanner