Loho, G. Abstract Tropical Linear Programming. Electron. J. Combin. 2020, 27, #P2.51.