metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Design Goals<br />
<strong>metaSMT</strong> . . .<br />
◮ . . . provides an unified interface to different SMT solvers.<br />
◮ . . . uses C/C++ interface of the solvers where available.<br />
◮ . . . makes common/repetitive tasks easy.<br />
◮ . . . is extensible with new logics, solvers and APIs.<br />
◮ . . . is customizable for a specific purpose.<br />
7