total-space 0.1.1

Explore the total space of states of communicating finite state machines.
Documentation