packup
CUDF solver based on pseudo-Boolean constraints
RUN apt-get update && \
apt-get install -y packup
RUN apt-get update && \
apt-get install -y packup
RUN apt-get update && \
apt-get install -y packup
RUN apt-get update && \
apt-get install -y packup