tablix2_benchmark
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