From 6f2abc2e72c10e2100ee3fa976f06e9fc163ef65 Mon Sep 17 00:00:00 2001 From: rlacroix Date: Mon, 21 Nov 2022 16:29:52 +0100 Subject: [PATCH] added two last functions of tools.ml --- outfile | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 outfile diff --git a/outfile b/outfile new file mode 100644 index 0000000..ac2c9cd --- /dev/null +++ b/outfile @@ -0,0 +1,21 @@ +% This is a graph. + +n 0.0 1.0 +n 1.0 1.0 +n 2.0 1.0 +n 3.0 1.0 +n 4.0 1.0 +n 5.0 1.0 + +e 0 2 8 +e 0 3 10 +e 0 1 7 +e 2 4 12 +e 3 4 5 +e 3 2 2 +e 3 1 11 +e 1 4 1 +e 1 5 21 +e 4 5 14 + +% End of graph