[2206.07194] Machines Explaining Linear Programs