lrs(1) on Linux
The text c006c2ff0b95, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
Convert between representations of convex polyhedra, remove redundant inequalities, convex hull computation, volume, triangulation, solution to linear programs in exact precision.