Unknown provenance tropical

[RAbraham]

Hi,
I was playing with tropical and I got the following error

def test_tropical_edge_path():
    ctx = scallopy.ScallopContext(provenance="tropical")
    ctx.add_relation("edge", (int, int))
    ctx.add_facts("edge", [(1, (1, 2)), (1, (2, 3)), (1, (3, 4)), (1, (1, 4))])
    ctx.add_rule("path(a, c) = edge(a, c) or (path(a, b) and edge(b, c))")
    ctx.run()
    assert list(ctx.relation("path")) == [
      (1, (1, 2)), (2, (1, 3)), (1, (1, 4)),
      (1, (2, 3)), (2, (2, 4)),
      (1, (3, 4)),
    ]

Error:

    
E       Exception: Unknown provenance `tropical`

.venv/lib/python3.10/site-packages/scallopy/context.py:108: Exception

I haven't installed any plugins if that's where it comes from. If so, could you point me to how to install plugins so that I can use them in a Python context.

Also, if you have the time, where can I learn more about the tropical provenance and when (and when not) to use it.

[Liby99]

Fixing