go.dedis.ch/onet/v3@v3.2.11-0.20210930124529-e36530bca7ef/simul/platform/mininet (about) install_mininet.sh setup_iccluster.sh setup_servers.sh start.py