Tropical linear systems and the realizability problem | Synapse