Terms containing Solver

Subject	English	Russian
progr.	finite domain constraint solver library	библиотека для решения задач удовлетворения ограничений над конечными областями (Alex_Odeychuk)
AI.	SMT solver competition	соревнование решателей задач выполнимости формул в теориях (Alex_Odeychuk)
IT	Solver add-in	Поиск решения ('More)
progr.	solver algorithm	алгоритм решателя (ssn)
AI.	solver capability	функциональные возможности решателя (Alex_Odeychuk)
softw.	solver for large-scale linear and quadratic programs	решатель крупномасштабных задач линейного и квадратичного программирования (Alex_Odeychuk)
AI.	solver-independent	независимый от решателя (Alex_Odeychuk)
AI.	solver input language	язык ввода данных в решатель (Alex_Odeychuk)
progr.	solver kernel	ядро инструментального средства проверки (Универсальный (стандартный) программёрский термин Konstantin 1966)
AI.	solver model	модель решателя задач (Alex_Odeychuk)
math.	solver of optimization problems	решатель оптимизационных задач (dwavesys.com Alex_Odeychuk)
AI.	solver performance	производительность решателя (Alex_Odeychuk)
AI.	solver's front-end	приложение, реализующее пользовательский интерфейс и взаимодействие с решателем (Alex_Odeychuk)
progr.	solver type	тип-решатель (в языке функционально-логического программирования со строгой типизацией Mercury Alex_Odeychuk)
nano	unsteady-equation solver for flow	метод решения уравнений для нестационарного течения