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

David Deharbe david at dimap.ufrn.br
Mon Jun 22 09:21:02 EDT 2015


> On Jun 17, 2015, at 9:19 AM, Tjark Weber <tjark.weber at it.uu.se> wrote:
> 
> May (must?) a compliant solver issue a "success" response to the (exit)
> command?
> 
> I would suggest to add a clarifying remark or footnote to the Standard,
> perhaps in Section 4.2.1, that details which behavior(s) are required
> or permitted here.

I agree,

— David.

> 
> Best,
> Tjark
> 
> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib



More information about the SMT-LIB mailing list