4ti2-ppi
mathematical tool suite for problems on linear spaces -- tools
RUN apt-get update && \
apt-get install -y 4ti2
RUN apt-get update && \
apt-get install -y 4ti2
RUN pacman -S --noconfirm 4ti2
RUN apt-get update && \
apt-get install -y 4ti2
RUN dnf install -y 4ti2
RUN apt-get update && \
apt-get install -y 4ti2