DOMAINS :: SMT-LIB :: Some SMT-COMP/LIB issues

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. Some SMT-COMP/LIB issues

barrett wrote at Jan 19, 2005 - 03:31 PM
---------------------------------------------------------------------
I slightly prefer the name "sublogic" to "logic" as it acknowledges that there is a heirarchy of logics as mentioned in Cesare's post.  I agree that either "logic" or "sublogic" are preferable to "division".  Thank you for thinking of a better name.

-Clark
---------------------------------------------------------------------

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

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

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