libboost-program-options1.83.0

program options library for C++

This package forms part of the Boost C++ Libraries collection.

cadical

Simplified Satisfiability Solver

CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

libboost-numpy1.83.0

Boost.Python NumPy extensions

This package forms part of the Boost C++ Libraries collection.

libpod-thread-perl

Convert POD to thread, an HTML macro language

Pod::Thread converts documentation in POD format to thread, a macro language used to generate HTML. This module and the pod2thread program provided by this package are used by DocKnot to handle formatting of POD documentation.

libgphobos5-armhf-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.

libgphobos5-arm64-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.