*terminal*.txt

bash-3.2$ ./ssa-tool run 'Independent Set' from examples/ind-set.ssax on examples/graph.yaml                                                                               
Welcome to SSA-Tool, version 1.
Running
  Algorithm: "Independent Set"
       from: "examples/ind-set.ssax"
         on: "examples/graph.yaml"
    (format: "yaml")
Read Graph:
[(0, {'marked': False}),
 (1, {'marked': True}),
 (2, {'marked': False}),
 (3, {'marked': False}),
 (4, {'marked': False})]
History:
[{'move': move 'mark node',
  'neighbors': {0: {'marked': False}},
  'new neighbors': {0: {'marked': False}},
  'new node': 2,
  'node': (2, {'marked': False})},
 {'move': move 'mark node',
  'neighbors': {0: {'marked': False}},
  'new neighbors': {0: {'marked': False}},
  'new node': 4,
  'node': (4, {'marked': False})},
 {'move': move 'mark node',
  'neighbors': {0: {'marked': False}},
  'new neighbors': {0: {'marked': False}},
  'new node': 3,
  'node': (3, {'marked': False})}]
Stable Graph:
[(0, {'marked': False}),
 (1, {'marked': True}),
 (2, {'marked': True}),
 (3, {'marked': True}),
 (4, {'marked': True})]
bash-3.2$ exit
exit

Process terminal finished