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