├── .gitignore ├── LICENSE ├── README.md ├── environment.yml ├── eval_sigcomm2020 ├── README.md ├── inputs │ ├── README.md │ ├── mrinfo │ │ ├── AS-1239.json │ │ ├── AS-1267.json │ │ ├── AS-2914.json │ │ ├── AS-3269.json │ │ ├── AS-3292.json │ │ ├── AS-3356.json │ │ ├── AS-3549.json │ │ ├── AS-680.json │ │ ├── AS-701.json │ │ ├── AS-786.json │ │ └── with-external │ │ │ └── AS-3549-with-external.json │ └── zoo │ │ ├── AsnetAm.in │ │ ├── AttMpls.in │ │ ├── Bellcanada.in │ │ ├── Bellsouth.in │ │ ├── BeyondTheNetwork.in │ │ ├── BtNorthAmerica.in │ │ ├── Cernet.in │ │ ├── Cesnet200706.in │ │ ├── Cesnet201006.in │ │ ├── Chinanet.in │ │ ├── Cogentco.in │ │ ├── Colt.in │ │ ├── Columbus.in │ │ ├── Cudi.in │ │ ├── Deltacom.in │ │ ├── Dfn.in │ │ ├── Esnet.in │ │ ├── Forthnet.in │ │ ├── Garr200902.in │ │ ├── Garr200908.in │ │ ├── Garr200909.in │ │ ├── Garr200912.in │ │ ├── Garr201001.in │ │ ├── Garr201003.in │ │ ├── Garr201004.in │ │ ├── Garr201005.in │ │ ├── Garr201007.in │ │ ├── Garr201008.in │ │ ├── Garr201010.in │ │ ├── Garr201012.in │ │ ├── Garr201101.in │ │ ├── Garr201102.in │ │ ├── Garr201103.in │ │ ├── Garr201104.in │ │ ├── Garr201105.in │ │ ├── Garr201107.in │ │ ├── Garr201108.in │ │ ├── Garr201109.in │ │ ├── Garr201110.in │ │ ├── Garr201111.in │ │ ├── Garr201112.in │ │ ├── Garr201201.in │ │ ├── Geant2009.in │ │ ├── Geant2010.in │ │ ├── Geant2012.in │ │ ├── Globenet.in │ │ ├── GtsCe.in │ │ ├── HiberniaGlobal.in │ │ ├── Highwinds.in │ │ ├── Iij.in │ │ ├── Intellifiber.in │ │ ├── Internode.in │ │ ├── Interoute.in │ │ ├── Intranetwork.in │ │ ├── Ion.in │ │ ├── Iris.in │ │ ├── Kdl.in │ │ ├── Latnet.in │ │ ├── Missouri.in │ │ ├── Palmetto.in │ │ ├── Pern.in │ │ ├── PionierL3.in │ │ ├── RedBestel.in │ │ ├── Renater2010.in │ │ ├── Roedunet.in │ │ ├── RoedunetFibre.in │ │ ├── Sinet.in │ │ ├── Surfnet.in │ │ ├── Switch.in │ │ ├── SwitchL3.in │ │ ├── Syringa.in │ │ ├── TataNld.in │ │ ├── Tinet.in │ │ ├── Ulaknet.in │ │ ├── Uninett2010.in │ │ ├── Uninett2011.in │ │ ├── UsCarrier.in │ │ ├── Uunet.in │ │ ├── VtlWavenet2008.in │ │ └── VtlWavenet2011.in └── reference_results │ ├── experiment_data_0.log │ ├── experiment_data_1.log │ ├── experiment_data_10.log │ ├── experiment_data_11.log │ ├── experiment_data_12.log │ ├── experiment_data_13.log │ ├── experiment_data_14.log │ ├── experiment_data_15.log │ ├── experiment_data_16.log │ ├── experiment_data_17.log │ ├── experiment_data_18.log │ ├── experiment_data_19.log │ ├── experiment_data_2.log │ ├── experiment_data_20.log │ ├── experiment_data_21.log │ ├── experiment_data_3.log │ ├── experiment_data_4.log │ ├── experiment_data_5.log │ ├── experiment_data_6.log │ ├── experiment_data_7.log │ ├── experiment_data_8.log │ └── experiment_data_9.log ├── netdice-logo.png ├── netdice ├── __init__.py ├── app │ ├── __init__.py │ └── __main__.py ├── bayesian_network.py ├── bgp.py ├── common.py ├── experiments │ ├── __init__.py │ ├── __main__.py │ ├── analyzer.py │ ├── compare_approaches.py │ ├── experiment_runner.py │ ├── scenarios.py │ └── sri_plot_helper │ │ ├── __init__.py │ │ ├── cdf.py │ │ └── heatmap.py ├── explorer.py ├── failures.py ├── igp.py ├── input_parser.py ├── my_logging.py ├── prob.py ├── problem.py ├── properties.py ├── reference_explorer.py └── util.py └── tests ├── __init__.py ├── ground_truth ├── Nsfnet_alt.txt ├── Nsfnet_node_failures.txt ├── ecmp.txt ├── paper_example.txt ├── paper_example_alt_flow.txt ├── paper_example_alt_flow_2.txt ├── paper_example_alt_flow_3.txt ├── paper_example_multi_flow.txt └── paper_example_static_route.txt ├── inputs ├── Nsfnet.json ├── Nsfnet.txt ├── Nsfnet_alt.json ├── asymmetric.json ├── asymmetric.txt ├── asymmetric_alt.json ├── different_properties.json ├── ecmp.json ├── ecmp.txt ├── example.json ├── example_query_only.json ├── example_topology_only.json ├── overview_example.json ├── paper_example.json ├── paper_example.txt └── paper_example_full_mesh.json ├── problem_helper.py ├── test_compare_to_reference.py ├── test_failures.py ├── test_fw_graphs.py ├── test_input_parser.py └── test_properties.py /.gitignore: -------------------------------------------------------------------------------- 1 | logs 2 | *.pyc 3 | output -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/README.md -------------------------------------------------------------------------------- /environment.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/environment.yml -------------------------------------------------------------------------------- /eval_sigcomm2020/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/README.md -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/README.md -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-1239.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-1239.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-1267.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-1267.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-2914.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-2914.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-3269.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-3269.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-3292.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-3292.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-3356.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-3356.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-3549.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-3549.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-680.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-680.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-701.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-701.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/AS-786.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/AS-786.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/mrinfo/with-external/AS-3549-with-external.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/mrinfo/with-external/AS-3549-with-external.json -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/AsnetAm.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/AsnetAm.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/AttMpls.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/AttMpls.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Bellcanada.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Bellcanada.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Bellsouth.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Bellsouth.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/BeyondTheNetwork.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/BeyondTheNetwork.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/BtNorthAmerica.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/BtNorthAmerica.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Cernet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Cernet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Cesnet200706.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Cesnet200706.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Cesnet201006.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Cesnet201006.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Chinanet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Chinanet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Cogentco.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Cogentco.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Colt.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Colt.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Columbus.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Columbus.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Cudi.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Cudi.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Deltacom.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Deltacom.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Dfn.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Dfn.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Esnet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Esnet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Forthnet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Forthnet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr200902.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr200902.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr200908.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr200908.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr200909.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr200909.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr200912.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr200912.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201001.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201001.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201003.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201003.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201004.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201004.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201005.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201005.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201007.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201007.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201008.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201008.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201010.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201010.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201012.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201012.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201101.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201101.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201102.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201102.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201103.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201103.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201104.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201104.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201105.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201105.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201107.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201107.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201108.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201108.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201109.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201109.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201110.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201110.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201111.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201111.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201112.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201112.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Garr201201.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Garr201201.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Geant2009.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Geant2009.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Geant2010.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Geant2010.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Geant2012.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Geant2012.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Globenet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Globenet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/GtsCe.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/GtsCe.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/HiberniaGlobal.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/HiberniaGlobal.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Highwinds.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Highwinds.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Iij.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Iij.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Intellifiber.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Intellifiber.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Internode.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Internode.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Interoute.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Interoute.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Intranetwork.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Intranetwork.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Ion.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Ion.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Iris.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Iris.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Kdl.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Kdl.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Latnet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Latnet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Missouri.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Missouri.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Palmetto.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Palmetto.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Pern.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Pern.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/PionierL3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/PionierL3.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/RedBestel.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/RedBestel.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Renater2010.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Renater2010.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Roedunet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Roedunet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/RoedunetFibre.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/RoedunetFibre.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Sinet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Sinet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Surfnet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Surfnet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Switch.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Switch.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/SwitchL3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/SwitchL3.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Syringa.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Syringa.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/TataNld.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/TataNld.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Tinet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Tinet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Ulaknet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Ulaknet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Uninett2010.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Uninett2010.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Uninett2011.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Uninett2011.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/UsCarrier.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/UsCarrier.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/Uunet.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/Uunet.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/VtlWavenet2008.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/VtlWavenet2008.in -------------------------------------------------------------------------------- /eval_sigcomm2020/inputs/zoo/VtlWavenet2011.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/inputs/zoo/VtlWavenet2011.in -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_0.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_0.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_1.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_1.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_10.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_10.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_11.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_11.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_12.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_12.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_13.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_13.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_14.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_14.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_15.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_15.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_16.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_16.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_17.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_17.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_18.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_18.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_19.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_19.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_2.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_2.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_20.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_20.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_21.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_21.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_3.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_3.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_4.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_4.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_5.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_5.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_6.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_6.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_7.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_7.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_8.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_8.log -------------------------------------------------------------------------------- /eval_sigcomm2020/reference_results/experiment_data_9.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/eval_sigcomm2020/reference_results/experiment_data_9.log -------------------------------------------------------------------------------- /netdice-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice-logo.png -------------------------------------------------------------------------------- /netdice/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /netdice/app/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /netdice/app/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/app/__main__.py -------------------------------------------------------------------------------- /netdice/bayesian_network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/bayesian_network.py -------------------------------------------------------------------------------- /netdice/bgp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/bgp.py -------------------------------------------------------------------------------- /netdice/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/common.py -------------------------------------------------------------------------------- /netdice/experiments/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /netdice/experiments/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/__main__.py -------------------------------------------------------------------------------- /netdice/experiments/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/analyzer.py -------------------------------------------------------------------------------- /netdice/experiments/compare_approaches.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/compare_approaches.py -------------------------------------------------------------------------------- /netdice/experiments/experiment_runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/experiment_runner.py -------------------------------------------------------------------------------- /netdice/experiments/scenarios.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/scenarios.py -------------------------------------------------------------------------------- /netdice/experiments/sri_plot_helper/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/sri_plot_helper/__init__.py -------------------------------------------------------------------------------- /netdice/experiments/sri_plot_helper/cdf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/sri_plot_helper/cdf.py -------------------------------------------------------------------------------- /netdice/experiments/sri_plot_helper/heatmap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/experiments/sri_plot_helper/heatmap.py -------------------------------------------------------------------------------- /netdice/explorer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/explorer.py -------------------------------------------------------------------------------- /netdice/failures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/failures.py -------------------------------------------------------------------------------- /netdice/igp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/igp.py -------------------------------------------------------------------------------- /netdice/input_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/input_parser.py -------------------------------------------------------------------------------- /netdice/my_logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/my_logging.py -------------------------------------------------------------------------------- /netdice/prob.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/prob.py -------------------------------------------------------------------------------- /netdice/problem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/problem.py -------------------------------------------------------------------------------- /netdice/properties.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/properties.py -------------------------------------------------------------------------------- /netdice/reference_explorer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/reference_explorer.py -------------------------------------------------------------------------------- /netdice/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/netdice/util.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/ground_truth/Nsfnet_alt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/Nsfnet_alt.txt -------------------------------------------------------------------------------- /tests/ground_truth/Nsfnet_node_failures.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/Nsfnet_node_failures.txt -------------------------------------------------------------------------------- /tests/ground_truth/ecmp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/ecmp.txt -------------------------------------------------------------------------------- /tests/ground_truth/paper_example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/paper_example.txt -------------------------------------------------------------------------------- /tests/ground_truth/paper_example_alt_flow.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/paper_example_alt_flow.txt -------------------------------------------------------------------------------- /tests/ground_truth/paper_example_alt_flow_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/paper_example_alt_flow_2.txt -------------------------------------------------------------------------------- /tests/ground_truth/paper_example_alt_flow_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/paper_example_alt_flow_3.txt -------------------------------------------------------------------------------- /tests/ground_truth/paper_example_multi_flow.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/paper_example_multi_flow.txt -------------------------------------------------------------------------------- /tests/ground_truth/paper_example_static_route.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/ground_truth/paper_example_static_route.txt -------------------------------------------------------------------------------- /tests/inputs/Nsfnet.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/Nsfnet.json -------------------------------------------------------------------------------- /tests/inputs/Nsfnet.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/Nsfnet.txt -------------------------------------------------------------------------------- /tests/inputs/Nsfnet_alt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/Nsfnet_alt.json -------------------------------------------------------------------------------- /tests/inputs/asymmetric.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/asymmetric.json -------------------------------------------------------------------------------- /tests/inputs/asymmetric.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/asymmetric.txt -------------------------------------------------------------------------------- /tests/inputs/asymmetric_alt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/asymmetric_alt.json -------------------------------------------------------------------------------- /tests/inputs/different_properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/different_properties.json -------------------------------------------------------------------------------- /tests/inputs/ecmp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/ecmp.json -------------------------------------------------------------------------------- /tests/inputs/ecmp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/ecmp.txt -------------------------------------------------------------------------------- /tests/inputs/example.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/example.json -------------------------------------------------------------------------------- /tests/inputs/example_query_only.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/example_query_only.json -------------------------------------------------------------------------------- /tests/inputs/example_topology_only.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/example_topology_only.json -------------------------------------------------------------------------------- /tests/inputs/overview_example.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/overview_example.json -------------------------------------------------------------------------------- /tests/inputs/paper_example.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/paper_example.json -------------------------------------------------------------------------------- /tests/inputs/paper_example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/paper_example.txt -------------------------------------------------------------------------------- /tests/inputs/paper_example_full_mesh.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/inputs/paper_example_full_mesh.json -------------------------------------------------------------------------------- /tests/problem_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/problem_helper.py -------------------------------------------------------------------------------- /tests/test_compare_to_reference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/test_compare_to_reference.py -------------------------------------------------------------------------------- /tests/test_failures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/test_failures.py -------------------------------------------------------------------------------- /tests/test_fw_graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/test_fw_graphs.py -------------------------------------------------------------------------------- /tests/test_input_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/test_input_parser.py -------------------------------------------------------------------------------- /tests/test_properties.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nsg-ethz/netdice/HEAD/tests/test_properties.py --------------------------------------------------------------------------------