The SMT-LIB tutorial says that the SMT-LIB theories and logics are defined in files that are available as part of the SMT-LIB distribution. I can’t find anything that fits that description on the SMT-LIB website. Can anyone point me in the right direction, please. Regards, Rob.