Программы, написанные в рамках курса практики
2010 год
-
Geometry solver
Авторы: Вербов Павел, Мальцев Даниил.
Программа предназначена для решения планиметрических задач. Условия задачи записываются на специальном мини-языке, который транслируется в набор полиномов. Затем на основе этих полиномов вычисляется результат. Результат - рациональное число. В условиях задачи можно использовать только целые числа. Реализованы такие условия, как: расстояние между 2 точками, середина отрезка, угол, площадь треугольника и некоторые другие (см. doc.txt).
Для работы с полиномами используется отдельно написанная библиотека. Собирается с помощью команды make. Исполняемый файл: tests/solver. Использование ./solver filename. Примеры задач находятся в папке tests/problems.
Программа