libignition-physics5-bullet-plugin5

Ignition Physics classes and functions for robot apps - Bullet library

Ignition Physics is a component in the ignition framework, a set of libraries designed to rapidly develop robot applications.

libunwind-16t64

production-quality unwinder

libunwind is a production-quality unwinder, with platform support for DWARF unwind info, SjLj, and ARM EHABI.

libnfft3-julia

library for computing non-uniform Fourier transforms (julia interface)

NFFT3 is a software library written in C for computing nonequispaced fast Fourier and related transformations. In detail, NFFT3 implements:

android-udev-rules

udev rules for Android tools

This package provides udev rules enabling the Android SDK tools adb and fastboot to work without root access to the host machine.

tlog

terminal I/O recording and playback

Tlog is a terminal I/O recording and playback package suitable for implementing centralized user session recording. Recorded data is sent to a logging service. Both the standard syslog and journald interfaces are supported. The recorded data is in JSON allowing storage in ElasticSearch where it can be searched, queried and played back.

libcvc5parser1

automated theorem prover for SMT problems (parser runtime)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.