Satsyn works... but horrifically slow
Satsyn works... but horrifically slow

All combinations of transition rules are looped thru until a valid set
is found (closed in the set of legitimate states and free of deadlocks
and livelocks). There are a lot of combinations!

grencez/protocon,grencez/protocon,grencez/protocon,grencez/protocon