pcreode

2.2.2
172.23k

p-Creode algorithm for mapping state transitions