aclements/

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
go-z3
internal/ops
st Package st provides symbolic equivalents of basic Go types.	Package st provides symbolic equivalents of basic Go types.
z3 Package z3 checks the satisfiability of logical formulas.	Package z3 checks the satisfiability of logical formulas.
z3/z3log Package z3log exposes Z3's interaction log.	Package z3log exposes Z3's interaction log.