libtest2-tools-command-perl

test simple unix commands

Test2::Tools::Command tests that commands given particular arguments result in particular outputs by way of the exit status word, standard output, and standard error. Various parameters to the command function alter exactly how this is done, in addition to variables that can be set.

libboost-atomic1.83.0

atomic data types, operations, and memory ordering constraints

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

libspqr3

sparse QR factorization library

Suitesparse is a collection of libraries for computations involving sparse matrices.

chuffed-flatzinc

lazy clause generation FlatZinc implememntation

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind. Lazy clause generation is a hybrid approach to constraint solving that combines features of finite domain propagation and Boolean satisfiability. It combines some of the advantages of finite domain constraint programming (high level model and programmable search) with some of the advantages of SAT solvers (reduced search by nogood creation, and effective autonomous search using variable activities).

libumfpack6

sparse LU factorization library

Suitesparse is a collection of libraries for computations involving sparse matrices.

librbio4

read/write sparse matrices in Rutherford/Boeing format

Suitesparse is a collection of libraries for computations involving sparse matrices.