возможно это тебе поможет https://www.open-do.org/wp-content/uploads/2010/06/SMT_provers.pdf
Имена участников (разделяйте запятой).