disjoint_union_adj
Various tools using libpolylib
RUN apt-get update && \
apt-get install -y polylib-utils
RUN apt-get update && \
apt-get install -y polylib-utils
RUN apt-get update && \
apt-get install -y polylib-utils
RUN apt-get update && \
apt-get install -y polylib-utils