Does anyone know if this 
is part of upstream CVC4? Or do they have a separate branch somewhere? I have re-evaluating post-CAV CVC4 on my todo list anyway, may as well have a look at this.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
From a SMT noob perspective - who happened upon Z3 first and got used to the Python interface, without ever really being 100% convinced that Z3 was specifically better for my purposes - is there a reasonable comparison of strengths and weaknesses of the big SMT systems somewhere?
smtcomp is a good starting point if you are using standard logics and are interested in performance numbers on medium-size problems. http://smtcomp.sourceforge.net (smtcomp doesn't provide very useful information if your instances run for days or milliseconds)
