KTH-SML / ltl_automaton_core

7 stars 4 forks source link

Switch to faster graph library #26

Open RBinsonB opened 3 years ago

RBinsonB commented 3 years ago

The package relies on NetworkX for graphs. Similar libraries, like Igraph or graph-tool, offer dramatically better perfomances (see https://www.timlrx.com/blog/benchmark-of-popular-graph-network-packages).

Therefor, one possible improvement could be to update the code with one of these libraries.