libcvc4parser7
automated theorem prover for SMT problems (parser runtime)
CVC4 is an efficient automatic theorem prover for satisfiability
modulo theories (SMT) problems. It can be used to prove the validity
(or, dually, the satisfiability) of first-order formulas in a large
number of built-in logical theories and their combination.
python3-sphinxcontrib.rubydomain
Ruby domain for HTTP APIs - Python 3.x
This contrib extension, sphinxcontrib.rubydomain provides a Ruby domain
to write Ruby documents.
libmrpt-serialization2.1
Mobile Robot Programming Toolkit - serialization library
More about MRPT libraries in: https://www.mrpt.org/Libraries
libmrpt-system2.1
Mobile Robot Programming Toolkit - system library
More about MRPT libraries in: https://www.mrpt.org/Libraries
libmrpt-vision2.1
Mobile Robot Programming Toolkit - vision library
More about MRPT libraries in: https://www.mrpt.org/Libraries
libkf5prison-dbg
barcode API for Qt - debugging symbols