xgillard

Anton Belov's MUSer2 tool prepackaged in a docker container

This is the container used to run the INGInious tasks for LSINF2172 aka LINGI2172

This container is a simple linux VM configured to let you build the pynusmv project.