MetaSMT: a unified interface to SMT-LIB2.

Heinz Riener, Mathias Soeken, Clemens Werther, Grschwin Fey, Rolf Drechsler

Browse the full FDL paper archive.