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.