Hi all, Let me remind everybody that if you want to post a message on this list you must do it from the email account your registered with, otherwise your post will be automatically discarded. You can change your registered email address (and password) from here: http://www.cs.nyu.edu/mailman/listinfo/smt-lib Best, Cesare