go-z3/

directory
v0.0.0-...-f39ad0c Latest Latest
Warning

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

Go to latest
Published: Jun 23, 2023 License: BSD-3-Clause, GPL-2.0

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
internal
ops
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.

Jump to

Keyboard shortcuts

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