leonbohn / automata

MIT License
4 stars 0 forks source link

Equality of GraphTS #61

Closed fesemeyer closed 5 months ago

fesemeyer commented 5 months ago

When trying to compare two Büchi automata, I noticed that PartialEq is not implemented for GraphTS.