search

fandreuz / BisPy

BisPy - Python bisimulation library
MIT License
14 stars 5 forks source link

Symbolic algorithm #27

Open fandreuz opened 3 years ago

fandreuz commented 3 years ago

Implement the symbolic algorithm from Dovier-Piazza-Policriti, Section 9.