Решатель

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Решатель (англ. solver) — программное обеспечение, предназначенное для решения рассматриваемой математической задачи. На вход решателю поступает описание задачи в некоторой заданной форме, а на выходе он выдает решение задачи. Виды решаемых задач:

См. также[править | править вики-текст]


  1. SMT-LIB