# The math/z3 port

## z3-4.16.0p0 – Z3 theorem prover

## Description

    The Z3 Theorem Prover.

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

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

## Library dependencies

## Build dependencies

- STEM->=4:devel/cmake/core
- devel/dwz
- devel/ninja
- lang/python/3

## Run dependencies