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