go-z3 provides Go bindings for the Z3 SMT solver.
First, follow the instructions to download and install the Z3 C library.
If you installed the C library to a non-default location (such as a
$HOME), set the following environment variables:
# For building: export CGO_CFLAGS=-I$Z3PREFIX/include CGO_LDFLAGS=-L$Z3PREFIX/lib # For running binaries (including tests): export LD_LIBRARY_PATH=$Z3PREFIX/lib
Then download and build go-z3:
go get -u github.com/aclements/go-z3/z3
See the godoc.
Package st provides symbolic equivalents of basic Go types.
|Package st provides symbolic equivalents of basic Go types.|
Package z3 checks the satisfiability of logical formulas.
|Package z3 checks the satisfiability of logical formulas.|
Package z3log exposes Z3's interaction log.
|Package z3log exposes Z3's interaction log.|