© 2018-2019 Taras Shevchenko National University of Kyiv, Faculty of Computer Science and Cybernetics, Department of Theory and Technology of Programming. Extending the SMT-Lib Standard with Theory of Nominative Data.Liudmyla Omelchuk, Olena Shyshatska