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.