TropicalSteadyStateBounds.jl