Первая защищённая и разработанная в в рамках курса "Основы проектной деятельности" Новосибирского Государственного Университета (НГУ) версия сервиса "Solver", над разработку которой был потрачен целый семестр. Имеются Конечные автоматы и машины Тьюринга. Сервис, который можно использовать на занятиях по теории алгоритмов и математической логике для наглядных представлений о вычислениях на машине Тьюринга и работе конечных автоматов.