gudhui
GUI for some of the functionality of the GUDHI library
RUN apt-get update && \
apt-get install -y gudhui
RUN apt-get update && \
apt-get install -y gudhui
RUN apt-get update && \
apt-get install -y gudhui