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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.