gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/z3

An efficient theorem prover

Screenshots

  • z3-9999
    gmp python_targets_python2_7

    View      Download      Browse     License: MIT   
    Overlay: science (layman)
  • 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_riscv_lp64d abi_riscv_lp64 abi_s390_32 abi_s390_64 python_targets_python2_7 python_targets_python3_5 python_targets_python3_6 python_targets_python3_7 python_single_target_python2_7 python_single_target_python3_5 python_single_target_python3_6 python_single_target_python3_7

    View      Download      Browse     License: MIT   
    Overlay: gentoo (distro)
  • z3-4.5.0
    ~amd64 ~x86
    doc examples gmp isabelle java python elibc_FreeBSD elibc_FreeBSD python_targets_python2_7

    View      Download      Browse     License: MIT   
    Overlay: gentoo (distro)
  • z3-4.4.1
    ~amd64 ~x86
    doc examples gmp isabelle java python elibc_FreeBSD elibc_FreeBSD python_targets_python2_7

    View      Download      Browse     License: MIT   
    Overlay: gentoo (distro)
  • z3-4.4.1
    ~amd64 ~x86
    +gmp python_targets_python2_7

    View      Download      Browse     License: MIT   
    Overlay: AlexandreFournier (layman)
  • z3-4.4.0
    amd64 x86

    View      Download      Browse     License: MIT   
    Overlay: buzden (layman)
  • z3-4.3.2
    amd64 x86

    View      Download      Browse     License: MIT   
    Overlay: buzden (layman)
  • z3-4.3.1
    ~amd64 ~x86
    gmp python_targets_python2_7

    View      Download      Browse     License: MIT   
    Overlay: science (layman)