英语 ⇄ 俄语 +

solver kernel 强调
编程	ядро инструментального средства проверки (Универсальный (стандартный) программёрский термин Konstantin 1966)