I know that several works are trying to deal with the combination of theories in SMT. However, the SMT-Lib 2.0 language (http://smtlib.cs.uiowa.edu/docs.html) doesn't say anything regarding this point. My question is whether it supports that, and what Solvers offer the ability to work with several theories simultaneously?
Thanks,