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

[Tjark Weber]

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."

Best,
Tjark