Commit d60306dd authored by Frontull Samuel's avatar Frontull Samuel
Browse files

added picture

parent d72f6fae
Pipeline #24054 failed with stages
in 53 seconds
......@@ -15,3 +15,5 @@ To convert a dot-graph into a png run the following command:
`dot -Tpng input.dot > output.png`
Make sure you have *graphviz* installed
![Example term](png/t10_lifted.png)
png/t10.png

17.2 KB

Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment