'Gophersat can be used as a standalone solver (reading DIMACS CNF files from a file or standard input) or as a library in any go program.' I assume more detail

'Gophersat can be used as a standalone solver (reading DIMACS CNF files from a file or standard input) or as a library in any go program.' I assume more details about the inner workings requires a lot of documentation that can also be found elsewhere.