Add script to rank from .dot files

2022-03-08 20:15:15 +01:00
parent 4ac28937df
commit a83a4c1c61
3 changed files with 161 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -15,6 +15,7 @@ _minted-paper/

 result
 _minted-report
+.venv

 !report.pdf
 !references/*.pdf