soplex

sequential object-oriented simplex solver

This package is part of the SCIP Optimization Suite. SoPlex is an optimization package for solving linear programming problems (LPs) based on an advanced implementation of the primal and dual revised simplex algorithm. It provides special support for the exact solution of LPs with rational input data.

linux-doc-6.5

Linux kernel specific documentation for version 6.5

This package provides the various README files and HTML documentation for the Linux kernel version 6.5. Plenty of information, including the descriptions of various kernel subsystems, filesystems, driver-specific notes and the like. An index to the documentation is installed as /usr/share/doc/linux-doc-6.5/html/index.html.

libstd-rust-1.73

Rust standard libraries

Rust is a curly-brace, block-structured expression language. It visually resembles the C language family, but differs significantly in syntactic and semantic details. Its design is oriented toward concerns of "programming in the large", that is, of creating and maintaining boundaries - both abstract and operational - that preserve large-system integrity, availability and concurrency.

libsoplexshared6.0

sequential object-oriented simplex solver (shared library)

This package is part of the SCIP Optimization Suite. SoPlex is an optimization package for solving linear programming problems (LPs) based on an advanced implementation of the primal and dual revised simplex algorithm. It provides special support for the exact solution of LPs with rational input data.

libkf5textemoticonscore1t64

KDE text handling addons - text emoticons library

KTextAddons is a collection of text addons libraries developed by the KDE community.

libdeal.ii-9.5.1

Finite Element Differential Equations Analysis Library

deal.II is a C++ program library targeted at the computational solution of partial differential equations using adaptive finite elements. It uses state-of-the-art programming techniques to offer you a modern interface to the complex data structures and algorithms required.