# The math/z3 port

## z3-4.7.1p0 – z3 theorem prover

## Description

    The Z3 Theorem Prover.

WWW: https://github.com/Z3Prover/z3

Only for arches
  aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc sparc64
Categories:
  lang/python math

## Library dependencies

- STEM->=4.9,<4.10:lang/gcc/4.9,-libs

## Build dependencies

- STEM->=4.9,<4.10:lang/gcc/4.9
- STEM->=4.9,<4.10:lang/gcc/4.9,-c++
- lang/python/2.7

## Run dependencies

- lang/python/2.7