معرفی شرکت ها

libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

theorem prover from Microsoft Research - OCaml bindings
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main amd64
نام بسته libz3-ocaml-dev
نام فایل بسته libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb
نسخه بسته 4.4.1
انتشار بسته 1~deb10u1
معماری بسته amd64
نگهدارنده LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز -
حجم دانلود 526152
حجم نصب 6479
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its OCaml API.


جایگزین ها

بسته نسخه معماری مخزن
libz3-ocaml-dev_4.4.1-1~deb10u1_arm64.deb 4.4.1 arm64 Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_armel.deb 4.4.1 armel Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_armhf.deb 4.4.1 armhf Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_i386.deb 4.4.1 i386 Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_mips.deb 4.4.1 mips Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_mips64el.deb 4.4.1 mips64el Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_mipsel.deb 4.4.1 mipsel Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_ppc64el.deb 4.4.1 ppc64el Debian main
libz3-ocaml-dev_4.4.1-1~deb10u1_s390x.deb 4.4.1 s390x Debian main


نیازمندی

مقدار نام
= 4.4.1-1~deb10u1 libz3-dev
- ocaml-nox-4.05.0
>= 2.4 libc6
- libz3-4


نحوه نصب


نصب پکیج deb libz3-ocaml-dev:

    sudo apt-get install libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb


فایل ها

مسیرها
./usr/lib/ocaml/z3/META
./usr/lib/ocaml/z3/dllz3ml.so
./usr/lib/ocaml/z3/libz3ml.a
./usr/lib/ocaml/z3/z3.cma
./usr/lib/ocaml/z3/z3.cmi
./usr/lib/ocaml/z3/z3.cmx
./usr/lib/ocaml/z3/z3.ml
./usr/lib/ocaml/z3/z3.mli
./usr/lib/ocaml/z3/z3.o
./usr/lib/ocaml/z3/z3enums.cma
./usr/lib/ocaml/z3/z3enums.cmi
./usr/lib/ocaml/z3/z3enums.cmx
./usr/lib/ocaml/z3/z3enums.ml
./usr/lib/ocaml/z3/z3enums.mli
./usr/lib/ocaml/z3/z3enums.o
./usr/lib/ocaml/z3/z3ml.a
./usr/lib/ocaml/z3/z3ml.cma
./usr/lib/ocaml/z3/z3ml.cmxa
./usr/lib/ocaml/z3/z3native.cma
./usr/lib/ocaml/z3/z3native.cmi
./usr/lib/ocaml/z3/z3native.cmx
./usr/lib/ocaml/z3/z3native.ml
./usr/lib/ocaml/z3/z3native.mli
./usr/lib/ocaml/z3/z3native.o
./usr/lib/ocaml/z3/z3native_stubs.o
./var/lib/ocaml/lintian/libz3-ocaml-dev.info
./var/lib/ocaml/md5sums/libz3-ocaml-dev.md5sums
./usr/share/doc/libz3-ocaml-dev -> libz3-dev