MetaSMT: a unified interface to SMT-LIB2

Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler. MetaSMT: a unified interface to SMT-LIB2. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-6, IEEE, 2014. [doi]

Abstract

Abstract is missing.