internal/

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Path	Synopsis
config Package config provides a struct with global options passed on the command-line.	Package config provides a struct with global options passed on the command-line.
db Package db is the internal representation of a QF_IDL formula in CNF.	Package db is the internal representation of a QF_IDL formula in CNF.
file Package file takes an input stream and outputs an AST for the file.	Package file takes an input stream and outputs an AST for the file.
preprocess The preprocess package consists of all the preprocessing operations we can do.	The preprocess package consists of all the preprocessing operations we can do.
stats The stats package exposes a structure to keep track of statistics for a solver run.	The stats package exposes a structure to keep track of statistics for a solver run.
theory The theory package has all of the theory solvers.	The theory package has all of the theory solvers.