ScaLP: A Light-Weighted (MI)LP-Library

Patrick Sittel, Thomas Schönwälder, Martin Kumm, Peter Zipf. ScaLP: A Light-Weighted (MI)LP-Library. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]

Abstract

Abstract is missing.