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