Jupyter notebook for visualization

[vhavlena]

Notebook showing possibilities of automata visualisation in mata.

[codecov]

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (1494bd4) 71.80% compared to head (4eee120) 71.82%.
Report is 7 commits behind head on devel.

❗ Current head 4eee120 differs from pull request most recent head c721e11. Consider uploading reports for the commit c721e11 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##            devel     #370      +/-   ##
==========================================
+ Coverage   71.80%   71.82%   +0.01%     
==========================================
  Files          30       30              
  Lines        3643     3642       -1     
  Branches      836      834       -2     
==========================================
  Hits         2616     2616              
  Misses        735      735              
+ Partials      292      291       -1     

Files	Coverage Δ
include/mata/utils/ord-vector.hh	68.66% <100.00%> (+0.42%)	⬆️
src/nfa/inclusion.cc	90.82% <100.00%> (+0.58%)	⬆️
src/nfa/delta.cc	82.52% <81.81%> (+0.15%)	⬆️

... and 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Adda0]

This was badly needed. I will review the PR later today as soon as I can. From the quick glance, the PR seems nice.

[vhavlena]

@kilohsakul maybe wanted to include such a notebook to the paper. Lukas, please look at it.

[Adda0]

LGTM. I think we should add one of the examples to the paper.

[kilohsakul]

Krasne! Jeste by to fakt mohlo kreslit horizontalne.

[vhavlena]

I think it is ready for merge.

[tfiedor]

I think it is fine, probably remove those commented lines though, if they are not used anywhere.

[Adda0]

Let me know if you want to remove the commented out lines or merge the PR right away.