Решатели вычислительных задач принадлежат к классу интеллектуальных пакетов прикладных программ (ИППП). Они позволяют пользователю решать задачи с использованием ЭВМ по описанию и исходным данным без программирования алгоритма решения задачи - программирование осуществляется автоматически программой планировщиком из набора готовых программных модулей, относящихся к конкретной предметной области. Мы рассмотрим систему ТК Solver, являющуюся характерным представителем решателей вычислительных задач.