Quickstart
Все полезные действия с программой можно произвести через gradle task'и, например:
Запуск программы:
./gradlew runЗапуск тестов
./gradlew testТесты запускаются на каждый commit в master с помощью github actions.
Построение КНФ реализовано с помощью алгоритма Цейтина