Now showing items 1-1 of 1
Astra: Evaluating Translations from Alloy to SMT-LIB
(University of Waterloo, 2018-12-21)
We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational ...