Surging mechanism for SODG

objectionary / ideas

Here we keep ideas for future research in EO programming language and Polystat static analyzer

https://www.eolang.org

7 stars 0 forks source link

Surging mechanism for SODG #15

Open yegor256 opened 1 year ago

yegor256 commented 1 year ago

There is a digraph implementation in sodg Rust library. We should implement surging mechanism inside it, to enable reducing the graph by removing unnecessary vertices.