Tropical.TOM
From MaRDI portal
Dataset:161358
Item from PolyDB: All known non-realisable tropical oriented matroids with parameters n=6, d=3 or n=d=4.
Source code repository: https://github.com/solros/tropmat
All known non-realisable tropical oriented matroids with parameters n=6, d=3 or n=d=4. They were computed using polymake with the tropmat extension and Topcom. You need the extension tropmat for this.