"JavaSMT: A Unified Interface for SMT Solvers in Java."

Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics