[SMT-LIB] get-assertions

[cok@frontiernet.net]

Cesare et al.

One more item to clarify.

The get-assertions command responds with a list of the assertions in the current union of assertion sets, but not any of the declarations or definitions of the symbols used in those assertions.  Was this intentional?  To include them adds complications to the output, but may make the response more useful in determining the current solver context.


- David