Merge unordered automata and fixes (!133) · Merge requests · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

Merged Jan Trávníček requested to merge merge-jt into master 4 years ago

Activity

Jan Trávníček enabled an automatic merge when the pipeline for 3aff1bc2 succeeds 4 years ago

enabled an automatic merge when the pipeline for 3aff1bc2 succeeds
Jan Trávníček canceled the automatic merge 4 years ago

canceled the automatic merge
Jan Trávníček added 4 commits 4 years ago
added 4 commits

ebde3b29 - unranked tree automata bisimulation

994c874c - xmlapi Unordered NFTA

90b87ee2 - UnorderedNFTA to Dot

5a23a72c - minimize by partitioning for unordered fta

Compare with previous version
Toggle commit list
Jan Trávníček enabled an automatic merge when the pipeline for 5a23a72c succeeds 4 years ago

enabled an automatic merge when the pipeline for 5a23a72c succeeds
Jan Trávníček merged 4 years ago

merged

Please register or sign in to reply