pcreode

2.2.2
168.73k

p-Creode algorithm for mapping state transitions