Paquet : liblrs-dev (0.71a-1)

[ Paquet source : lrslib  ]

package to enumerate vertices and extreme rays (development file)

A convex polyhedron is the set of points satisfying a finite family of linear inequalities. The study of the vertices and extreme rays of such systems is important and useful in e.g. mathematics and optimization. In a dual interpretation, finding the vertices of a (bounded) polyhedron is equivalent to finding the convex hull (bounding inequalities) of an (arbitrary dimensional) set of points. Lrs (lexicographic reverse search) has two important features that can be very important for certain applications: it works in exact arithmetic, and it consumes memory proportional to the input, no matter how large the output is.

This package contains the optional headers, and a unversioned symlink to the library, useful for developers.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à liblrs-dev

• dep: liblrs1 (= 0.71a-1)

  package to enumerate vertices and extreme rays (shared libraries)

Télécharger liblrs-dev

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
arm64	15,1 ko	79,0 ko	[liste des fichiers]