covering linear programs