[SMT-LIB] Response to (exit) Command?

Tjark Weber tjark.weber at it.uu.se
Thu Apr 21 10:57:46 EDT 2016


Cesare,

On Sun, 2015-06-28 at 09:30 +0000, Tinelli, Cesare wrote:
> Fair enough, in that case I would go with option (2) below.
> I'd like to hear from more people though.

> > > 1) require 'exit' to print 'success',
> > > 2) require 'exit' not to print anything, or
> > > 3) allow it to print 'success' without requiring it

Has this question (whether solvers may/must/must not print 'success' in
response to the 'exit' command) been resolved?

Best,
Tjark



More information about the SMT-LIB mailing list