MatiXOfficial / foata-finder Public

Miniproject for Concurrency Theory course at AGH UST. Finds Foata Normal Form and builds a Diekert graph.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
lib		lib
test		test
.formatter.exs		.formatter.exs
.gitignore		.gitignore
README.md		README.md
README.pdf		README.pdf
dep_graph.dot		dep_graph.dot
mix.exs		mix.exs
mix.lock		mix.lock

Repository files navigation

Foata Finder

Miniproject for Concurrency Theory course at AGH UST. Finds Foata Normal Form and builds a Diekert graph.

No releases published

No packages published