sci-mathematics / z3

An efficient theorem prover

Official package sites : https://github.com/Z3Prover/z3/ ·

Z3 is a high-performance theorem prover being developed at Microsoft Research.

v4.8.6 :: 0/4.8 :: gentoo

Modified
License
MIT
Keywords
amd64 ppc64 x86 ~arm ~arm64
USE flags
doc examples gmp isabelle java python

v4.8.5 :: 0/4.8 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc64 x86
USE flags
doc examples gmp isabelle java openmp python

v4.5.0 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~x86
USE flags
doc examples gmp isabelle java python

v4.4.1 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~x86
USE flags
doc examples gmp isabelle java python

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
gmp
Add support for dev-libs/gmp (GNU MP library)
isabelle
Add integration support for the Isabelle/HOL theorem prover.
java
Add support for Java
openmp
Build support for the OpenMP (support parallel computing), requires >=sys-devel/gcc-4.2 built with USE="openmp"
python
Add optional support/bindings for the Python language

abi_mips

n32
64-bit (32-bit pointer) libraries
n64
64-bit libraries
o32
32-bit libraries

abi_riscv

lp64
64-bit (rv64) soft-float libraries
lp64d
64-bit (rv64) double hard-float libraries

abi_s390

32
32-bit (s390) libraries
64
64-bit (s390x) libraries

abi_x86

32
32-bit (x86) libraries
64
64-bit (amd64) libraries
x32
x32 ABI libraries

elibc

FreeBSD
ELIBC setting for systems that use the FreeBSD C library

python_single_target

python2_7
Build for Python 2.7 only
python3_5
Build for Python 3.5 only
python3_6
Build for Python 3.6 only
python3_7
Build for Python 3.7 only

python_targets

python2_7
Build with Python 2.7
python3_5
Build with Python 3.5
python3_6
Build with Python 3.6
python3_7
Build with Python 3.7

app-doc / doxygen : Documentation system for most programming languages

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / python-exec : Python script wrapper

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

dev-util / cmake : Cross platform Make

sys-devel / make : Standard tool to compile source trees

virtual / jdk : Virtual for Java Development Kit (JDK)

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / python-exec : Python script wrapper

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

sys-devel / clang : C language family frontend for LLVM

sys-devel / llvm : Low Level Virtual Machine

673126
sci-mathematics/z3-4.8.3 - CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:137 (message): Could NOT find JNI (missing: JAVA_AWT_LIBRARY JAVA_JVM_LIBRARY JAVA_INCLUDE_PATH JAVA_INCLUDE_PATH2 JAVA_AWT_INCLUDE_PATH)
700296
sci-mathematics/z3-4.8.6 stabilisation
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: ppc64 stable wrt bug #700296
Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: x86 stable wrt bug #700296
Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: amd64 stable wrt bug #700296
Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.6
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Aaron Bauman · gentoo
sci-mathematics/z3: arm64 stable (bug #693856)
Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.76, Repoman-2.3.17
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
sci-mathematics/z3: arm stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: ppc64 stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: x86 stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
sci-mathematics/z3: amd64 stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.5
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Remove python3_4 PYTHON_COMPAT correctly
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Revert "Drop old"
This broke sci-mathematics/isabelle. Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Keyword 4.8.4 ~arm64
Tested by NeddySeagoon. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
sci-mathematics/z3: Add ~arm keyword wrt bug #677862
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="~arm"
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862
Package-Manager: Portage-2.3.60, Repoman-2.3.12 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.4
Closes: https://bugs.gentoo.org/673506 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Enable multilib support
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Run tests
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Enable python3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul
Closes: https://bugs.gentoo.org/644508 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Mark Wright · gentoo
sci-mathematics/z3: Use echo instead of elog.
Thanks to mgorny for reporting and the fix, K_F, Blackb|rd and Arfrever for helping. Package-Manager: portage-2.3.5
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Sergei Trofimovich · gentoo
sci-mathematics/z3: workaround configure failure on non-ASCII
On my LANG=ru_RU.UTF-8 locale configure step fails as: File "scripts/mk_make.py", line 21, in <module> ... UnicodeEncodeError: 'ascii' codec can't encode characters in position 80-82: ordinal not in range(128) Workaround configure breakage by stabilising locale. Package-Manager: Portage-2.3.3, Repoman-2.3.1
Mark Wright · gentoo
sci-mathematics/z3: Fix examples install directory.
Package-Manager: portage-2.3.3
Mark Wright · gentoo
sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.
Create shared library soname symlinks. Add examples USE flag. Add || die on cat of files, except in pkg_postinst() where we want it to ignore any errors. Gentoo-Bug: 605892 Package-Manager: portage-2.3.3
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Mark Wright · gentoo
sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.
Fix 604450 z3-4.5.0 build fails if doxygen is not installed. Implement better fix for 604362 install for USE="python -doc", thanks to Toralf Forster for reporting. Gentoo-bug: 604450, 604362 Package-Manager: portage-2.3.3
Mark Wright · gentoo
sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster for reporting.
Gentoo-bug: 604362 Package-Manager: portage-2.3.3
Mark Wright · gentoo
sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development on the z3 ebuilds. Thanks to David E. Narv?ez for reporting and patching.
Gentoo-bug: 602498, 602600 Package-Manager: portage-2.3.3