[SMT-COMP] Is my solver considered a "wrapper tool"?

Tjark Weber tjark.weber at it.uu.se
Mon Jun 12 16:09:07 EDT 2017

On Mon, 2017-06-12 at 18:00 +0100, Delcypher wrote:
> "A wrapper tool is defined as any solver which calls one or more SMT
> solvers not written by the author of the wrapper tool"

> I'm not sure if my tool falls under this definition because it is not
> specified precisely what is meant by "call".

I believe this should include any use of another solver, irrespective
of the precise technical means.

Note that the only additional (strict) requirement on a wrapper tool is
that it "must explicitly acknowledge any solvers that it wraps."


More information about the SMT-COMP mailing list