The math/z3 port
z3-4.13.0 – Z3 theorem prover (cvsweb github mirror)
Description
The Z3 Theorem Prover.WWW: https://github.com/Z3Prover/z3
Maintainer
The OpenBSD ports mailing-list
Only for arches
aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64
Categories
Build dependencies
Test dependencies
Files
- /usr/local/bin/z3
- /usr/local/include/z3++.h
- /usr/local/include/z3.h
- /usr/local/include/z3_algebraic.h
- /usr/local/include/z3_api.h
- /usr/local/include/z3_ast_containers.h
- /usr/local/include/z3_fixedpoint.h
- /usr/local/include/z3_fpa.h
- /usr/local/include/z3_macros.h
- /usr/local/include/z3_optimization.h
- /usr/local/include/z3_polynomial.h
- /usr/local/include/z3_rcf.h
- /usr/local/include/z3_spacer.h
- /usr/local/include/z3_v1.h
- /usr/local/include/z3_version.h
- /usr/local/lib/cmake/
- /usr/local/lib/cmake/z3/
- /usr/local/lib/cmake/z3/Z3Config.cmake
- /usr/local/lib/cmake/z3/Z3ConfigVersion.cmake
- /usr/local/lib/cmake/z3/Z3Targets-release.cmake
- /usr/local/lib/cmake/z3/Z3Targets.cmake
- /usr/local/lib/libz3.so.4.11
- /usr/local/lib/pkgconfig/z3.pc
- /usr/local/lib/python3.11/
- /usr/local/lib/python3.11/site-packages/
- /usr/local/lib/python3.11/site-packages/z3/
- /usr/local/lib/python3.11/site-packages/z3/__init__.py
- /usr/local/lib/python3.11/site-packages/z3/z3.py
- /usr/local/lib/python3.11/site-packages/z3/z3consts.py
- /usr/local/lib/python3.11/site-packages/z3/z3core.py
- /usr/local/lib/python3.11/site-packages/z3/z3num.py
- /usr/local/lib/python3.11/site-packages/z3/z3poly.py
- /usr/local/lib/python3.11/site-packages/z3/z3printer.py
- /usr/local/lib/python3.11/site-packages/z3/z3rcf.py
- /usr/local/lib/python3.11/site-packages/z3/z3test.py
- /usr/local/lib/python3.11/site-packages/z3/z3types.py
- /usr/local/lib/python3.11/site-packages/z3/z3util.py
- @conflict py3-z3-solver-*