Package: libapron-ocaml (0.9.10-9.1 and others)

[ Source: apron  ]

Kørselstidsbiblioteker for APRON - OCaml-grænseflade

APRON-biblioteket er dedikeret til statisk analyse af numeriske variabler for et program ved abstrakt fortolkning. Formålet med sådan en analyse er at udlede invarianter. Det er lavet som en fælles grænseflade til diverse biblioteker/abstrakte domæner og til at tilbyde yderligere tjenester, som kan implementeres uafhængigt fra det underliggende biblioteks-/abstrakt-domæne.

Denne pakke inkluderer kun de dynamiske biblioteker krævet for at køre dynamisk bytecode-kørbare filer.

Tags: Software Development: OCaml Development, Libraries, Testing and QA, Implemented in: implemented-in::c, implemented-in::ocaml, Role: Development Library, role::program, role::shared-lib, Purpose: Analysing, Checking

Other Packages Related to libapron-ocaml

• dep: libapron

  Kørselstidsbiblioteker for APRON

• dep: libc6 (>= 2.4)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgmp10

  Bibliotek til multipræcision i aritmetik

• dep: libmpfr6 (>= 3.1.3)

  Decimaltalsberegning med præcision

• dep: ocaml-base-nox-4.11.1

  virtual package provided by ocaml-base-nox

Download libapron-ocaml

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
armhf	0.9.10-9.1+b2	49.3 kB	219.0 kB	[list of files]