gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/z3

An efficient theorem prover

Screenshots

  • z3-4.12.1
    ~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86
    doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 java python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11

    View      Download      Browse     License: MIT   
    Overlay: gentoo
  • z3-4.12.0
    ~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86
    doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 java python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11

    View      Download      Browse     License: MIT   
    Overlay: gentoo
  • z3-4.11.2
    amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86
    doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 java python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11

    View      Download      Browse     License: MIT   
    Overlay: gentoo
  • z3-4.8.5
    ~amd64 ~arm ~arm64 ~ppc64 ~x86
    doc examples gmp isabelle java openmp python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 elibc_FreeBSD java python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10

    View      Download      Browse     License: MIT