# The math/z3 port

## z3-4.8.5p0 – Z3 theorem prover

## Description

    The Z3 Theorem Prover.

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

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

## Library dependencies

## Build dependencies

- STEM->=1.5.1:devel/ninja
- devel/cmake
- lang/python/3.7

## Run dependencies

- lang/python/3.7