go-z3

module
Version: v0.0.0-...-18129d7 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jun 12, 2017 License: BSD-3-Clause

README

go-z3 provides Go bindings for the Z3 SMT solver.

Installation

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 directory under $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

Documentation

See the godoc.

Directories

Path Synopsis
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.
z3log
Package z3log exposes Z3's interaction log.
Package z3log exposes Z3's interaction log.
internal
ops

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL