[SMT-COMP] Is my solver considered a "wrapper tool"?
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