DOMAINS :: SMT-LIB :: ANY in extrasorts

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. ANY in extrasorts

barrett wrote at Mar 07, 2006 - 05:57 PM
---------------------------------------------------------------------
>From Leonardo:

> Clark,
> 
> My SMT-LIB account is not working, and I couldn't answer his email.
> The SAL2CVC translator maps all uninterpreted types in SAL to the
> ANY type. The translator always defines this type, even when it is not
> required.
> Anyway, I agree with you, we should remove it from the SMT-LIB
> benchmarks.
> 
> Leonardo.

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

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

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

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