Ihre Suche nach Paketen, deren Name libz3-java enthält, in allen Suites, allen Bereichen, und auf allen Architekturen:
1 Treffer.
Genaue Treffer
Paket libz3-java
- jammy (22.04LTS) (java):
theorem prover from Microsoft Research - java bindings [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
- noble (24.04LTS) (java):
theorem prover from Microsoft Research - java bindings [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
- questing (25.10) (java):
theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
- resolute (26.04LTS) (java):
theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
- stonking (java):
theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1.1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
packages