z3
|
Legend:
|
| alpha | amd64 | arm | hppa | ia64 | m68k | mips | ppc | ppc64 | s390 | sh | sparc | x86 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 4.12.1 | - | + | + | - | - | - | - | ~ | + | - | - | + | + |
USE flags
- abi_mips_n32 - 64-bit (32-bit pointer) libraries
- abi_mips_n64 - 64-bit libraries
- abi_mips_o32 - 32-bit libraries
- abi_s390_32 - 32-bit (s390) libraries
- abi_s390_64 - 64-bit (s390x) libraries
- abi_x86_32 - 32-bit (x86) libraries
- abi_x86_64 - 64-bit (amd64) libraries
- abi_x86_x32 - x32 ABI libraries
- 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
- python - Add optional support/bindings for the Python language
- python_single_target_python3_10 - Build for Python 3.10 only
- python_single_target_python3_11 - Build for Python 3.11 only
- python_single_target_python3_9 - Build for Python 3.9 only
Also available in: Atom