všetky možnosti
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Zdroj:  ]

Balík: libapron-ocaml-dev (0.9.10-9.1) [debports]

Odkazy pre libapron-ocaml-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Externé zdroje:

Podobné balíky:

abstract interpretation library (OCaml interface)

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 OCaml.

Ostatné balíky súvisiace s balíkom libapron-ocaml-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libapron-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
riscv64 (neoficiálny port) 2,040.0 kB30,032.0 kB [zoznam súborov]