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.