# The math/z3 port

## z3-4.15.0 – 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 mips64el powerpc powerpc powerpc64 powerpc64 riscv64 riscv64 sparc64
Categories:
  lang/python math

## Library dependencies

- STEM->=8,<9:lang/gcc/8,-libs

## Build dependencies

- STEM->=8,<9:lang/gcc/8
- STEM->=8,<9:lang/gcc/8,-c++
- devel/cmake/core
- devel/ninja
- lang/python/3

## Run dependencies