DOMAINS :: SMT-LIB :: Proposal for a theory of fixed-size bit-vectors in SMT-LIB format

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. Proposal for a theory of fixed-size bit-vectors in SMT-LIB format

pocm wrote at Mar 08, 2006 - 11:28 PM
---------------------------------------------------------------------
I'm sorry, is this post completely empty or am I missing something? I was expecting a file with the proposal. I can't find anything on SMT-LIB page either.

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

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

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

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