ScaLP: A Light-Weighted (MI)LP-Library. - Patrick Sittel; Thomas Schönwälder; Martin Kumm; Peter Zipf (MBMV, 2018)