amin/superflow
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improved

Browse Source
This commit is contained in:
Ämin Baumeler 2025-03-31 15:41:57 +02:00
parent efeb8c0863
commit 05c4e9587f
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -10,7 +10,7 @@ To compile, simply run `make`.
The `./tools/` directory contains two python scripts with which we can The `./tools/` directory contains two python scripts with which we can
transform the output of `./superflow` to the [DOT transform the output of `./superflow` to the [DOT
language](https://graphviz.org/doc/info/lang.html) for graph visualization. The language](https://graphviz.org/doc/info/lang.html) for graph visualization. They
require the [NumPy](https://numpy.org/) package. require the [NumPy](https://numpy.org/) package.
@ -39,3 +39,7 @@ the return code is 0 if all leafs are trivial, and 1 otherwise.
LIMITATION: The input graph has at most 9 vertices. LIMITATION: The input graph has at most 9 vertices.
``` ```
## License
[GPL-3.0-or-later](./LICENSES/GPL-3.0-or-later.txt)