objective means

objective means
scient.	объективное средство

| of

of
gen.	относительно; от; обо; изо; служебное слово, указывает на вкус или запах; служебное слово, выражает свойство или возраст

| comparing

compare
gen.	равнять
comparing
gen.	совмещение; сравнивание; приравнивание; сличение; сравнивающий
geophys.	привязка
IT	считка; сличение с исходным текстом
polygr.	считка. Операция сличения набора с исходным авторским текстом, проводимая корректором с целью выявления имеющихся ошибок.

SMT solvers