معرفی شرکت ها


libapron-dev_0.9.10-9.1_all.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

abstract interpretation library
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main all
نام بسته libapron-dev
نام فایل بسته libapron-dev_0.9.10-9.1_all.deb
نسخه بسته 0.9.10
انتشار بسته 9.1
معماری بسته all
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://apron.cri.ensmp.fr/library/
مجوز -
حجم دانلود 131724
حجم نصب 1414
The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the files necessary to use the APRON library in C.


نیازمندی

مقدار نام
- libapron
- libgmp3-dev
- libmpfr-dev
- libppl-dev


نحوه نصب


نصب پکیج deb libapron-dev:

    sudo apt-get install libapron-dev_0.9.10-9.1_all.deb


فایل ها

مسیرها
./usr/include/ap_abstract0.h
./usr/include/ap_abstract1.h
./usr/include/ap_coeff.h
./usr/include/ap_config.h
./usr/include/ap_dimension.h
./usr/include/ap_environment.h
./usr/include/ap_expr0.h
./usr/include/ap_expr1.h
./usr/include/ap_generator0.h
./usr/include/ap_generator1.h
./usr/include/ap_generic.h
./usr/include/ap_global0.h
./usr/include/ap_global1.h
./usr/include/ap_interval.h
./usr/include/ap_lincons0.h
./usr/include/ap_lincons1.h
./usr/include/ap_linearize.h
./usr/include/ap_linearize_aux.h
./usr/include/ap_linexpr0.h
./usr/include/ap_linexpr1.h
./usr/include/ap_manager.h
./usr/include/ap_pkgrid.h
./usr/include/ap_ppl.h
./usr/include/ap_reducedproduct.h
./usr/include/ap_scalar.h
./usr/include/ap_tcons0.h
./usr/include/ap_tcons1.h
./usr/include/ap_texpr0.h
./usr/include/ap_texpr1.h
./usr/include/ap_var.h
./usr/include/apron_caml.h
./usr/include/bound.h
./usr/include/bound_def.h
./usr/include/box.h
./usr/include/gmp_caml.h
./usr/include/itv.h
./usr/include/itv_config.h
./usr/include/itv_fun.h
./usr/include/itv_linearize.h
./usr/include/itv_linexpr.h
./usr/include/num.h
./usr/include/num_config.h
./usr/include/num_name.h
./usr/include/num_numflt.h
./usr/include/num_numint.h
./usr/include/num_numrat.h
./usr/include/numflt.h
./usr/include/numflt_mpfr.h
./usr/include/numflt_native.h
./usr/include/numint.h
... and 78 more