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