Планы на будущее

• Разработка и реализация алгоритмов генерации систем содАНЛДУ и одАНЛДУ.
• Развитие других методов тестирования, отличных от основанных на сравнении базисов Гильберта.
• Развитие методов экспериментального и сравнительного анализа реализаций алгоритмов решения систем одАНЛДУ.
• Продолжение развития системы Web-SynDic.