Add an example app with paths extraction#49

Draft

vkutuev wants to merge 73 commits into

FormalLanguageConstrainedPathQuerying:mainfrom

vkutuev:path-extractor

Commits on Feb 10, 2026

Commits on Feb 11, 2026

Optimize imports in path extractor
vkutuev
committed
Remove unneeded class in path extractor
vkutuev
committed
Add sppf saving to path extractor
vkutuev
committed
Corrected grammar. More examples.
gsvgit
committed
Multiple paths from loops.
gsvgit
committed
Corrected grammar. Corrected examples.
gsvgit
committed
Brief readme.
gsvgit
committed
Small code cleanup.
gsvgit
committed
Corrected grammar. More examples.

gsvgit
authored and
vkutuev
committed
Multiple paths from loops.

gsvgit
authored and
vkutuev
committed
Corrected grammar. Corrected examples.

gsvgit
authored and
vkutuev
committed
Brief readme.

gsvgit
authored and
vkutuev
committed
Small code cleanup.

gsvgit
authored and
vkutuev
committed

Commits on Mar 8, 2026

Fix module and packages names
vkutuev
committed

Commits on Jul 13, 2026

feat(simple-examples): add example_1 graph pathfinding with grammar

danisaev
authored and
vkutuev
committed
docs(README.md): Added README.md file to simple_examples

danisaev
authored and
vkutuev
committed
fix(README.md): Fixed image display issue

danisaev
authored and
vkutuev
committed
fix(README.md): Fixed bug with text display

danisaev
authored and
vkutuev
committed
docs(README.md): Added RSM of AnBn grammar

danisaev
authored and
vkutuev
committed
docs(README.md): Correction of the wording

danisaev
authored and
vkutuev
committed
docs(README.md): Correction of wording

danisaev
authored and
vkutuev
committed
docs(README.md): Added explanations to the first simple example

danisaev
authored and
vkutuev
committed
docs(README.md): Added explanations of the second simple example

danisaev
authored and
vkutuev
committed
docs(README.md): fixed some comments

danisaev
authored and
vkutuev
committed
docs(README.md): changing the wording

danisaev
authored and
vkutuev
committed
docs(README.md): Added trees extracted from SPPF for the first example

danisaev
authored and
vkutuev
committed
docs(README.md): added sppf split into two trees in the second example

danisaev
authored and
vkutuev
committed
docs(cfpq-paths-app/README.md): Integrating simple_examples/README.md into the main README.md

danisaev
authored and
vkutuev
committed
docs(cfpq-paths-app/README.md): Small changes

danisaev
authored and
vkutuev
committed
chore: moving all the images to original folder

danisaev
authored and
vkutuev
committed
docs: Сhanging paths for images

danisaev
authored and
vkutuev
committed
chore: changing the project structure

danisaev
authored and
vkutuev
committed
docs(TUTORIAL.md): Added the tutorial for using UCFS

danisaev
authored and
vkutuev
committed
docs(README.md): Deleted TUTORIAL.md for README.md

danisaev
authored and
vkutuev
committed
docs: Divided the information into sections

danisaev
authored and
vkutuev
committed
docs: Explanatory comment

danisaev
authored and
vkutuev
committed
chore: Some fixes

danisaev
authored and
vkutuev
committed
chore: Small changes

danisaev
authored and
vkutuev
committed
docs: Added some files, modified simple_examples.md

danisaev
authored and
vkutuev
committed
docs: Changed colors in .dot files

danisaev
authored and
vkutuev
committed
docs: Reorganizing dot files: vertices according to their names

danisaev
authored and
vkutuev
committed
docs: Modified README.md with Quick Start

danisaev
authored and
vkutuev
committed
docs: Documentation restructuring

danisaev
authored and
vkutuev
committed
docs: Some changes

danisaev
authored and
vkutuev
committed
docs: Added newline at the end of files

danisaev
authored and
vkutuev
committed
docs: New folder assets with images created

danisaev
authored and
vkutuev
committed

Commits on Jul 14, 2026