python3-vitrage

OpenStack RCA as a Service - Python libs

Vitrage provides a root cause analysis service, which is used for analyzing the topology and alarms of the cloud, and providing insights about it.

libedataserver-1.2-20

Utility library for evolution data servers

linux-cloud-tools-4.2.0-16-generic

Linux kernel version specific cloud tools for version 4.2.0-16

libcvc4parser5

automated theorem prover for SMT problems (parser runtime)

libsundials-sunlinsol1

differential equation solver (SUNDIALS library)

libflint-2.4.5

C library for number theory, shared library

The Fast Library for Integer Number Theory is a C library which supports polynomial arithmetic over the integers, fast integer arithmetic and factoring (including a highly optimized quadratic sieve).