Skip to content
Snippets Groups Projects
Closed Add spanning tree proof
  • View options
  • Add spanning tree proof

  • View options
  • Closed Issue created by Ralf Jung

    I heard that @amintimany has a port of FCSL's spanning tree algorithm to Iris. That would be a good candidate to be added here, wouldn't it? @amintimany, which version of Iris is it working with?

    Linked items ... 0

  • Activity

    • All activity
    • Comments only
    • History only
    • Newest first
    • Oldest first
    Loading Loading Loading Loading Loading Loading Loading Loading Loading Loading