lrs
package to enumerate vertices and extreme rays of a convex polyhedron
RUN apt-get update && \
apt-get install -y lrslib
RUN apt-get update && \
apt-get install -y lrslib
RUN pacman -S --noconfirm lrs
RUN apt-get update && \
apt-get install -y lrslib
RUN dnf install -y lrslib
RUN apt-get update && \
apt-get install -y lrslib