tablix2_kernel
Kernel for solving general timetabling problems
RUN apt-get update && \
apt-get install -y tablix2
RUN apt-get update && \
apt-get install -y tablix2
RUN apt-get update && \
apt-get install -y tablix2
RUN apt-get update && \
apt-get install -y tablix2