DOMAINS :: SMT-LIB :: ANY in extrasorts

[QPQ]

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

pocm wrote at Mar 07, 2006 - 07:10 PM
---------------------------------------------------------------------
Hi all,

There's an occurrence of ":extrasorts (ANY)" in LRA benchmarks, which as far as I can tell is useless since ANY is not used as a sort anywhere in the benchmark. Is this only to test support for extrasorts in the solvers parser or does it have any use?

Cheers,

Paulo Matos
---------------------------------------------------------------------

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/