DOMAINS :: SMT-LIB :: let-terms in SMT-LIB

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. let-terms in SMT-LIB

savakrstic wrote at Apr 13, 2005 - 01:39 PM
---------------------------------------------------------------------
SMT-LIB has two let-constructs for formulas, but none for constructing terms. (We cannot write 'let x=1 in x'.) Can someone briefly explain the reason for this design choice?

Thanks,

Sava




---------------------------------------------------------------------

Reply to this message:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=reply&topic=162&forum=46

Browse thread:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=viewtopic&topic=162

You are receiving this Email because you are subscribed to be notified of events in forums at: http://www.qpq.org/