AUR (en) - z3-java

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: z3-java 4.8.6-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/z3-java.git (read-only, click to copy)
Package Base:	z3-java
Description:	A high-performance theorem prover (with java bindings)
Upstream URL:	https://github.com/Z3Prover/z3
Licenses:	MIT
Conflicts:	z3
Provides:	z3
Submitter:	Sebastian
Maintainer:	Sebastian
Last Packager:	Sebastian
Votes:	0
Popularity:	0.000000
First Submitted:	2017-11-05 13:31 (UTC)
Last Updated:	2019-10-09 11:37 (UTC)

Dependencies (4)

gcc-libs (gccrs-libs-git^AUR, gcc11-libs^AUR, gcc-libs-git^AUR)
java-environment (jdk12^AUR, jdk10^AUR, jdk10-openj9-bin^AUR, jdk7^AUR, amazon-corretto-16^AUR, jdk8-graalvm-bin^AUR, jdk16-graalvm-bin^AUR, jdk16-adoptopenjdk^AUR, jdk16-microsoft-openjdk^AUR, jdk8-arm^AUR, liberica-jre-11-bin^AUR, jdk11-j9-bin^AUR, jdk11-jbr-xdg^AUR, jdk16-openjdk^AUR, jdk14-openjdk^AUR, amazon-corretto-18^AUR, jdk18-openjdk^AUR, jdk-android-studio^AUR, amazon-corretto-19-bin^AUR, jdk19-graalvm-bin^AUR, liberica-jre-11-full-bin^AUR, jdk19-graalvm-ee-bin^AUR, jdk13-openjdk-bin^AUR, liberica-jre-8-full-bin^AUR, jdk11-graalvm-bin^AUR, jdk19-openjdk^AUR, jdk-openj9^AUR, jdk11-graalvm-ee-bin^AUR, jdk11-openjdk-dcevm^AUR, jdk12-openjdk^AUR, jdk11-dragonwell-standard-bin^AUR, jdk11-jetbrains-bin^AUR, jdk20-graalvm-bin^AUR, jdk17-graalvm-bin^AUR, jdk8-graalvm-ee-bin^AUR, amazon-corretto-20-bin^AUR, zulu-15-bin^AUR, jdk20-openj9-bin^AUR, zulu-13-bin^AUR, jdk8-dragonwell-extended-bin^AUR, jdk8-dragonwell-standard-bin^AUR, jdk11-dragonwell-extended-bin^AUR, jdk17-dragonwell-standard-bin^AUR, jdk20-graalvm-ee-bin^AUR, jdk11^AUR, jdk8-j9-bin^AUR, jdk7-j9-bin^AUR, jdk7r1-j9-bin^AUR, jdk8-dragonwell-extended^AUR, jdk13-openjdk^AUR, jdk15-openjdk^AUR, jdk21-graalvm-bin^AUR, liberica-jdk-17-full-bin^AUR, liberica-jdk-11-bin^AUR, liberica-jdk-11-full-bin^AUR, liberica-jdk-11-lite-bin^AUR, mandrel-bin^AUR, jdk17-openj9-bin^AUR, jdk-lts^AUR, jdk21-graalvm-ee-bin^AUR, jdk17-graalvm-ee-bin^AUR, jdk8^AUR, jdk17-zulu-prime-bin^AUR, jdk-openj9-bin^AUR, jdk11-openj9-bin^AUR, jdk17-jetbrains^AUR, jre-jetbrains^AUR, jabba-bin^AUR, jdk17-jetbrains-bin^AUR, jdk21-jetbrains^AUR, jdk21-jetbrains-bin^AUR, jdk21-jetbrains-git^AUR, jdk-openjdk-wakefield^AUR, jdk8-perf^AUR, zulu-jdk-fx-bin^AUR, jdk8-openj9-bin^AUR, jdk^AUR, jdk-temurin^AUR, amazon-corretto-22-bin^AUR, jdk22-graalvm-bin^AUR, zing-8-bin^AUR, zing-21-bin^AUR, java-openjdk-ea-bin^AUR, amazon-corretto-17^AUR, amazon-corretto-21-bin^AUR, java-openjdk-bin^AUR, liberica-jdk-full-bin^AUR, liberica-jdk-21-full-bin^AUR, liberica-jdk-8-full-bin^AUR, zulu-21-bin^AUR, zulu-8-bin^AUR, zulu-11-bin^AUR, zulu-17-bin^AUR, jdk21-temurin^AUR, jdk17-temurin^AUR, jdk11-temurin^AUR, amazon-corretto-8^AUR, amazon-corretto-11^AUR, jdk8-temurin^AUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jdk8-openjdk) (make)
python (python32^AUR, python37^AUR, python310^AUR) (make)
java-runtime (jre10^AUR, jre12^AUR, server-jre^AUR, jdk10^AUR, jdk10-openj9-bin^AUR, jdk7^AUR, jre7^AUR, amazon-corretto-16^AUR, jdk8-graalvm-bin^AUR, jdk16-graalvm-bin^AUR, jdk16-adoptopenjdk^AUR, jdk16-microsoft-openjdk^AUR, jdk8-arm^AUR, liberica-jre-11-bin^AUR, jdk11-j9-bin^AUR, jre11-jbr-xdg^AUR, jre16-openjdk^AUR, jre14-openjdk^AUR, amazon-corretto-18^AUR, jre15^AUR, jre14^AUR, jre13^AUR, jre16^AUR, jre18-openjdk^AUR, jdk-android-studio^AUR, amazon-corretto-19-bin^AUR, jdk19-graalvm-bin^AUR, liberica-jre-11-full-bin^AUR, jdk19-graalvm-ee-bin^AUR, jdk13-openjdk-bin^AUR, liberica-jre-8-full-bin^AUR, jdk11-graalvm-bin^AUR, jre19-openjdk^AUR, jre-openj9^AUR, jdk11-graalvm-ee-bin^AUR, jdk11-openjdk-dcevm^AUR, jre12-openjdk^AUR, jdk11-dragonwell-standard-bin^AUR, jdk11-jetbrains-bin^AUR, jdk20-graalvm-bin^AUR, jdk17-graalvm-bin^AUR, jdk8-graalvm-ee-bin^AUR, amazon-corretto-20-bin^AUR, zulu-15-bin^AUR, jdk20-openj9-bin^AUR, zulu-13-bin^AUR, jdk8-dragonwell-extended-bin^AUR, jdk8-dragonwell-standard-bin^AUR, jdk11-dragonwell-extended-bin^AUR, jdk17-dragonwell-standard-bin^AUR, jdk20-graalvm-ee-bin^AUR, jre11^AUR, jdk8-j9-bin^AUR, jdk7-j9-bin^AUR, jdk7r1-j9-bin^AUR, jdk8-dragonwell-extended^AUR, jre17^AUR, jre13-openjdk^AUR, jre15-openjdk^AUR, jdk21-graalvm-bin^AUR, liberica-jdk-17-full-bin^AUR, liberica-jdk-11-bin^AUR, liberica-jdk-11-full-bin^AUR, liberica-jdk-11-lite-bin^AUR, mandrel-bin^AUR, jdk17-openj9-bin^AUR, jre-lts^AUR, jdk21-graalvm-ee-bin^AUR, jdk17-graalvm-ee-bin^AUR, jdk8^AUR, jre8^AUR, jdk17-zulu-prime-bin^AUR, jdk-openj9-bin^AUR, jdk11-openj9-bin^AUR, jre17-jetbrains^AUR, jre-jetbrains^AUR, jdk17-jetbrains-bin^AUR, jre21-jetbrains^AUR, jdk21-jetbrains-bin^AUR, jre21-jetbrains-git^AUR, jre-openjdk-wakefield^AUR, jdk-openjdk-wakefield^AUR, jdk8-perf^AUR, zulu-jdk-fx-bin^AUR, jdk8-openj9-bin^AUR, jre^AUR, jdk^AUR, zulu-jre-fx-bin^AUR, jdk-temurin^AUR, amazon-corretto-22-bin^AUR, jdk22-graalvm-bin^AUR, zing-8-bin^AUR, zing-21-bin^AUR, java-openjdk-ea-bin^AUR, amazon-corretto-17^AUR, amazon-corretto-21-bin^AUR, java-openjdk-bin^AUR, liberica-jdk-full-bin^AUR, liberica-jdk-21-full-bin^AUR, liberica-jdk-8-full-bin^AUR, zulu-21-bin^AUR, zulu-8-bin^AUR, zulu-11-bin^AUR, zulu-17-bin^AUR, jdk21-temurin^AUR, jdk17-temurin^AUR, jdk11-temurin^AUR, amazon-corretto-8^AUR, amazon-corretto-11^AUR, jdk8-temurin^AUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre21-openjdk, jre8-openjdk) (optional) – bindings for java

Required by (47)

binsec (requires z3) (optional)
clang-prefixed-git (requires z3) (make)
clang-prefixed-release (requires z3) (make)
clipd-bin (requires z3)
fstar-ulib (requires z3)
ghidra-extension-kaiju-bin (optional)
hal-git (requires z3) (make)
key-bin (requires z3) (optional)
key-exe-bin (requires z3) (optional)
key-nightly (requires z3) (optional)
klee (requires z3)
klee (requires z3) (make)
llvm-git (requires z3) (make)
llvm-libs-git (requires z3)
llvm-libs-git (requires z3) (make)
llvm-libs-opt-git (requires z3)
llvm-libs-opt-git (requires z3) (make)
llvm-libs-rocm-git (requires z3)
llvm-libs-rocm-git (requires z3) (make)
llvm-ocaml-git (requires z3) (make)
llvm-ocaml-opt-git (requires z3) (make)
llvm-ocaml-rocm-git (requires z3) (make)
llvm-opt-git (requires z3) (make)
llvm-rocm-git (requires z3) (make)
openjml-bin (requires z3) (optional)
pact (requires z3)
picat (requires z3) (optional)
rumur (requires z3) (check)
rumur (requires z3) (optional)
rumur-git (requires z3) (check)
rumur-git (requires z3) (optional)
saw-script-git (requires z3)
sby-nightly (requires z3) (optional)
solidity (requires z3) (optional)
solidity-git (requires z3) (optional)
spark2014 (requires z3) (optional)
spark2014-git (requires z3) (optional)
stainless-git (requires z3) (optional)
stormchecker (requires z3)
stormchecker-git (requires z3)
symbiyosys-git (requires z3) (optional)
symbiyosys-nightly (requires z3) (optional)
triton (requires z3)
triton-git (requires z3)
vampire (requires z3)
zapcc (requires z3)
zz-git (requires z3)

Sources (1)

https://github.com/Z3Prover/z3/archive/z3-4.8.6.tar.gz

Arch Linux User Repository

Search Criteria

Package Details: z3-java 4.8.6-1

Package Actions

Dependencies (4)

Required by (47)

Sources (1)