pcreode

2.2.2
170.27k

p-Creode algorithm for mapping state transitions