Для моей дипломной работы мне нужно визуализировать метод аналитического tableuax (https://en.wikipedia.org/wiki/Method_of_analytic_tableaux) для использования в определенном доказательстве. Моя первая цель - просто нарисовать двоичное дерево, представляющее формулу логики высказываний.
Сейчас я думаю об использовании Qt для приятного графического интерфейса, GraphViz для визуализации дерева и библиотеки графов Boost для использования библиотеки GraphViz из моего кода.
Теперь мой вопросесли есть лучший способ сделать это. Я не хочу начинать работу, только чтобы найти более простой способ сделать это через неделю.
Помощь и предложения будут с благодарностью. Спасибо.