maria-cso
reachability analyzer for Algebraic System Nets
RUN apt-get update && \
apt-get install -y maria
RUN apt-get update && \
apt-get install -y maria
RUN apt-get update && \
apt-get install -y maria
RUN apt-get update && \
apt-get install -y maria