visualizer in google colab

[erick-xanadu]

Hello, I am having some issues trying egglog in google's colab.

egraph.saturate()

[/usr/local/lib/python3.11/dist-packages/egglog/visualizer_widget.py](https://localhost:8080/#) in VisualizerWidget()
     21     _esm = CURRENT_DIR / "visualizer.js"
     22     _css = CURRENT_DIR / "visualizer.css"
---> 23     egraphs = traitlets.List[str]().tag(sync=True)
     24 
     25     def display_or_open(self) -> None:

TypeError: type 'List' is not subscriptable

  foo = e.extract(bar)
  print(foo)

Traceback (most recent call last):
  File "/usr/local/lib/python3.11/dist-packages/google/colab/_variable_inspector.py", line 27, in run
RuntimeError: egglog::egraph::EGraph is unsendable, but is being dropped on another thread

[orenht]

Although not a direct solution, but I think the PR I just opened yesterday would prevent this problem :)
#254

[erick-xanadu]

Thank you @orenht ! I had not seen it :)

[saulshanabrook]

You can also do egraph.run(run().saturate()) (i believe) which will be more efficient if you don't want the visualization.

however whatever this bug is should be fixed too, not sure why traitlets is having that issue in collab. maybe some version incompatibility?